@article{Hin00Pol,
  title = "Polytypic Programming With Ease",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "Journal of Functional and Logic Programming",
  month = "jul",
  number = "3",
  publisher = "European Association for Programming Languages and Systems",
  url = "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-01/S01-01.html",
  volume = "2001",
}