@inproceedings{Hin99Pol,
  title = "Polytypic Functions Over Nested Datatypes (Extended Abstract)",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the 3rd Latin-American Conference on Functional Programming ({CLaPF '99})",
  editor = "Lins, Rafael Dueire",
  location = "Recife, Brazil",
  month = "mar",
  url = "http://www.di.ufpe.br/~clapf99/",
}