examples.bib

@book{pierce02types,
	author = "Pierce, Benjamin C.",
	title = "Types and Programming Languages",
	publisher = "The MIT Press",
	address = "Cambridge, Massachusetts",
	year = 2002}
	
@inproceedings{loeh03dependency,
	author = "L{\"o}h, Andres and Clarke, Dave and Jeuring, Johan",
	title = "Dependency-style {G}eneric {H}askell",
	editor = "Runciman, Colin and Shivers, Olin",
	booktitle = "Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25--29, 2003",
	pages = "141--152",
	publisher = "ACM Press",
	year = 2003
}

@article{hoare1962quicksort,
  title={Quicksort},
  author={Hoare, Charles AR},
  journal={The Computer Journal},
  volume={5},
  number={1},
  pages={10--16},
  year={1962},
  publisher={Br Computer Soc}
}

@article{dijkstra1959note,
  title={A note on two problems in connexion with graphs},
  author={Dijkstra, Edsger W},
  journal={Numerische mathematik},
  volume={1},
  number={1},
  pages={269--271},
  year={1959},
  publisher={Springer}
}

@article{hudak1992report,
  title={Report on the programming language Haskell: a non-strict, purely functional language version 1.2},
  author={Hudak, Paul and Peyton Jones, Simon and Wadler, Philip and Boutel, Brian and Fairbairn, Jon and Fasel, Joseph and Guzm{\'a}n, Mar{\'i}a M and Hammond, Kevin and Hughes, John and Johnsson, Thomas and others},
  journal={ACM SigPlan notices},
  volume={27},
  number={5},
  pages={1--164},
  year={1992},
  publisher={ACM}
}