@inproceedings{HJL06Con,
  title = "Typed Contracts for Functional Programming",
  author = "Hinze, Ralf and Jeuring, Johan and L\"{o}h, Andres",
  year = "2006",
  affiliation = "Institut für Informatik III, Universität Bonn, Römerstraße 164, 53117 Bonn, Germany",
  booktitle = "Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006)",
  editor = "Hagiya, Masami and Wadler, Philip",
  location = "Fuji Susono, Japan",
  month = "apr",
  pages = "208-225",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "3945",
  doi = "10.1007/11737414\_15",
}