@inproceedings{HJL02Typ,
  title = "Type-indexed Data Types",
  author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
  year = "2002",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)",
  editor = "Boiten, Eerke A. and Möller, Bernhard",
  location = "Dagstuhl, Germany",
  month = "jul",
  pages = "148--174",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "2386",
  doi = "10.1007/3-540-45442-X\_10",
}