@inproceedings{Hin00MPC,
  title = "Polytypic values possess polykinded types",
  author = "Hinze, Ralf",
  year = "2000",
  booktitle = "Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000",
  editor = "Backhouse, Roland and Oliveira, J.N.",
  month = "jul",
  pages = "2--27",
  publisher = "Springer",
  series = "LNCS",
  volume = "1837",
}