cs141.bib

@book{lipovaca2011learn,
	title={Learn {You} a {Haskell} for {Great} {Good}!: {A} {Beginner}'s {Guide}},
	author={Lipova\v{c}a, Miran},
	year={2011},
	publisher={no starch press}
}

@book{hutton2016programming,
	title={Programming in {Haskell}},
	author={Hutton, Graham},
	year={2016},
	publisher={Cambridge University Press}
}

@book{okasaki1999purely,
	title={Purely functional data structures},
	author={Okasaki, Chris},
	year={1999},
	publisher={Cambridge University Press}
}

@article{jones1992implementing,
	title={Implementing lazy functional languages on stock hardware: the {Spineless} {Tagless} {G}-machine},
	author={Peyton Jones, Simon},
	journal={Journal of Functional Programming},
	volume={2},
	number={2},
	pages={127--202},
	year={1992},
	publisher={Cambridge University Press}
}

@inproceedings{wadler1995monads,
	title={Monads for functional programming},
	author={Wadler, Philip},
	booktitle={International School on Advanced Functional Programming},
	pages={24--52},
	year={1995},
	organization={Springer}
}

@incollection{jones2000tackling,
	author = {Peyton Jones, Simon},
	title = {Tackling the {Awkward} {Squad}: monadic input/output, concurrency, exceptions, and foreign-language calls in {Haskell}},
	booktitle = {Engineering theories of software construction, Marktoberdorf Summer School 2000},
	publisher = {IOS Press},
	year = {2001},
	editor = {Hoare, CAR and Broy, M and Steinbrueggen, R},
	series = {NATO ASI Series},
	pages = {47--96}
}

@inproceedings{yorgey2012giving,
	title={Giving Haskell a promotion},
	author={Yorgey, Brent A and Weirich, Stephanie and Cretin, Julien and Peyton Jones, Simon and Vytiniotis, Dimitrios and Magalh{\~a}es, Jos{\'e} Pedro},
	booktitle={Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation},
	pages={53--66},
	year={2012},
	organization={ACM}
}

@incollection{kiselyov2010fun,
	title={Fun with type functions},
	author={Kiselyov, Oleg and Jones, Simon Peyton and Shan, Chung-chieh},
	booktitle={Reflections on the Work of CAR Hoare},
	pages={301--331},
	year={2010},
	publisher={Springer}
}