Summary: Fundamenta Informaticae XX (2005) 1­29 1
IOS Press
for Data: Differentiating Data Structures
Michael Abbott
Diamond Light Source,
Rutherford Appleton Laboratory
¢¡¤£¦¥¨§©§¨§ ©!¡#"!§© $%£#&'$)(0
Thorsten Altenkirch C
School of Computer Science & IT,
The University of Nottingham
1%2 §#¨£34$)¨& 1!1 $5§£'$)(0
Neil Ghani
Department of Mathematics and Computer Science,
University of Leicester.
#687#9% ¢£¦34$¤@©'$§£'$)(0
Conor McBride
School of Computer Science & IT,
The University of Nottingham
£ 1 ¨£34$)¨& 1!1 $5§£'$)(0
Abstract. This paper and our conference paper (Abbott, Altenkirch, Ghani, and McBride, 2003b)

Source: Altenkirch, Thorsten - School of Computer Science, University of Nottingham

Collections: Computer Technologies and Information Sciences