@Article{alti:jpartial,
  author = 	 {Michael Abott and Thorsten Altenkirch and Neil Ghani 
                  and Conor McBride},
  title = 	 {$\partial$ for Data},
  journal = 	 {Fundamentae Informatica},
  year = 	 {2005},
  volume =	 {65},
  number =	 {1,2},
  pages =	 {1 -- 28},
  month =	 {March},
  note =	 {Special Issue on Typed Lambda Calculi and Applications 2003}
}