@inproceedings{Hin99Manb,
  title = "Manufacturing Datatypes",
  author = "Hinze, Ralf",
  year = "1999",
  booktitle = "Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99)",
  editor = "Okasaki, Chris",
  location = "Paris, France",
  month = "sep",
  note = "The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from \verb|http://www.cs.columbia.edu/~cdo/waaapl.html|",
  pages = "1--16",
}