@InProceedings{alti:wcgp02,
  author = 	 {Thorsten Altenkirch and Conor McBride},
  title = 	 {Generic Programming Within Dependently Typed Programming},
  booktitle = 	 {Generic Programming},
  year =	 {2003},
  note =	 {Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002}
}