Summary: Acta Informatica manuscript No.
(will be inserted by the editor)
¶ for Data
Differentiating Data Structures
Michael Abbott 1 , Thorsten Altenkirch 2 ,
Neil Ghani 1 , Conor McBride 3
1 Department of Mathematics and Computer Science, University of Leicester.
email: firstname.lastname@example.org, email: email@example.com
2 School of Computer Science and Information Technology, Nottingham University.
3 Department of Computer Science, University of Durham.
The date of receipt and acceptance will be inserted by the editor
Abstract. This paper and our conference paper (Abbott, Altenkirch,
Ghani, and McBride, 2003b) explain and analyse the notion of the
derivative of a data structure as the type of its onehole contexts based
on the central observation made in McBride (2001). To make the idea
precise we need a generic notion of a data type, which leads to the notion
of a container, introduced in Abbott, Altenkirch, and Ghani (2003a) and
investigated extensively in Abbott (2003). Using containers we can provide