@inproceedings{HJL02Typ,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  booktitle = "Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002",
  editor = "Boiten, Eerke A. and M{\"o}ller, Bernhard",
  month = "jul",
  pages = "148--174",
  publisher = "Springer",
  series = "LNCS",
  title = "Type-indexed data types",
  volume = "2386",
  year = "2002",
}