@inproceedings{Hin00Mem,
  title = "Memo functions, polytypically!",
  author = "Hinze, Ralf",
  year = "2000",
  booktitle = "Proceedings of the 2nd Workshop on Generic Programming, {Ponte de Lima}, {Portugal}",
  editor = "Jeuring, Johan",
  month = "jul",
  note = "The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19",
  pages = "17--32",
}