X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Report.bib;h=5e85a93a8de3f6d4f743bf786a9c03c921d2afaf;hp=3e64e11410bc1dd802dc09255e1ba7467d615d0e;hb=e1224b075420c7bb5508121b694e8b315b835534;hpb=2c28bdc6ca8e883697d9640166bf17fb8a329cec

diff --git a/Report.bib b/Report.bib
index 3e64e11..5e85a93 100644
--- a/Report.bib
+++ b/Report.bib
@@ -92,3 +92,74 @@
  publisher = {ACM},
  address = {New York, NY, USA},
 }
+
+@phdthesis{sheeran83,
+	author = {Mary Sheeran},
+	title = {µFP, an algebraic VLSI design language},
+	year = {1983},
+	school = {Programming Research Group, Oxford University},
+}
+
+@inproceedings{jones90,
+    address = {Lyngby, Denmark},
+    author = {Jones, G. and Sheeran, M.},
+    booktitle = {Formal Methods for VLSI Design},
+    journal = {Circuit Design in Ruby},
+    publisher = {Elsevier Science Publishers},
+    title = {Circuit Design in Ruby},
+    year = {1990}
+}
+	
+
+@phdthesis{claessen00,
+  title       = {An Embedded Language Approach to Hardware Description and Verification},
+  author      = {Koen Claessen},
+  year        = {2000},
+  school      = {Dept. of Computer Science and Engineering, Chalmers University of Technology.},
+}
+
+@inproceedings{sander04,
+    author = {Sander, I. and Jantsch, A.},
+    title = {System Modeling and Design Refinement in ForSyDe},
+	journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
+    institution = {},
+    year = {2004},
+	volume = {23},
+	number = {1},
+	pages = {17--32},
+	issn = {0278-0070},
+}
+
+@mastersthesis{baaij09,
+	author = {Christiaan Baaij},
+	title = {CλasH: From Haskell to Hardware},
+	year = {2009},
+	school = {Twente University},
+}
+
+@article{reynolds98,
+ author = {Reynolds, John C.},
+ title = {Definitional Interpreters for Higher-Order Programming Languages},
+ journal = {Higher Order Symbol. Comput.},
+ volume = {11},
+ number = {4},
+ year = {1998},
+ issn = {1388-3690},
+ pages = {363--397},
+ doi = {http://dx.doi.org/10.1023/A:1010027404223},
+ 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},
+}