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