@inproceedings{Hin00MPC,
  title = "Polytypic Values Possess Polykinded Types",
  author = "Hinze, Ralf",
  year = "2000",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00)",
  editor = "Backhouse, Roland and Oliveira, José",
  location = "Ponte de Lima, Portugal",
  month = "jul",
  pages = "2-27",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "1837",
  doi = "10.1007/10722010\_2",
}