@InCollection{txa:ssgp06,
  author = 	 {Thorsten Altenkirch and Conor Mcbride and Peter Morris},
  title = 	 {Generic Programming with Dependent Types},
  booktitle = 	 {Spring School on Datatype-Generic Programming},
  OPTpages = 	 {},
  publisher = {Springer-Verlag},
  year =	 {2007},
  editor = {Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring},
  volume =	 {4719},
  series =	 {LNCS},
}