@article{HJL03Typ,
  author = "Hinze, Ralf and Jeuring, Johan and L{\"o}h, Andres",
  journal = "Science of Computer Programming",
  pages = "117-151",
  title = "Type-indexed data types",
  volume = "51",
  year = "2004",
}