Fix / remove some final todos.

[matthijs/master-project/report.git] / Report.bib

diff --git a/Report.bib b/Report.bib
index 5e85a93a8de3f6d4f743bf786a9c03c921d2afaf..3142eaf2ec0cef820071988efd37cc754c9596a9 100644 (file)
--- 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,
@@ -163,3 +163,38 @@
  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},
+}