X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Report.bib;h=3142eaf2ec0cef820071988efd37cc754c9596a9;hp=ec6846a860a59dbb2b22f5111653110dee695126;hb=0dfecb0be783911fd804436c22bbbf8c79711cc3;hpb=747c2ba3d485fb5c3543e9435fbd3dff59ddb3f8

diff --git a/Report.bib b/Report.bib
index ec6846a..3142eaf 100644
--- a/Report.bib
+++ b/Report.bib
@@ -134,7 +134,7 @@
 	author = {Christiaan Baaij},
 	title = {CλasH: From Haskell to Hardware},
 	year = {2009},
-	school = {Twente University},
+	school = {University of Twente},
 }
 
 @article{reynolds98,
@@ -150,3 +150,51 @@
  publisher = {Kluwer Academic Publishers},
  address = {Hingham, MA, USA},
 }
+
+@inproceedings{mitchell09,
+ author = {Mitchell, Neil and Runciman, Colin},
+ title = {Losing functions without gaining data: another look at defunctionalisation},
+ booktitle = {Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell},
+ year = {2009},
+ isbn = {978-1-60558-508-6},
+ pages = {13--24},
+ location = {Edinburgh, Scotland},
+ doi = {http://doi.acm.org/10.1145/1596638.1596641},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@book{jones87,
+	author = {Peyton Jones, Simon L.},
+	title = {The implementation of functional programming languages},
+	year = {1987},
+	publisher = {Prentice-Hall},
+}
+
+@article{church36,
+ title = {Some Properties of Conversion},
+ author = {Church, Alonzo and Rosser, J. B.},
+ journal = {Transactions of the American Mathematical Society},
+ volume = {39},
+ number = {3},
+ pages = {472--482},
+ url = {http://www.jstor.org/stable/1989762},
+ issn = {00029947},
+ year = {1936},
+ publisher = {American Mathematical Society},    
+}
+
+@book{klop80,
+	title={Combinatory reduction systems},
+	author={J.W. Klop},
+	year={1980},
+	publisher={Mathematisch Centrum},
+}
+
+@book{barendregt84,
+	title={The lambda calculus},
+	author={Hendrik Pieter Barendregt},
+	year={1984},
+	publisher={Elsevier Science},
+	edition={revised},
+}