X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.bib;h=cc2b292685b7bbc89f17fa2f21368e922385e55b;hp=4b9471a1b1072a40fc0ff80f37328d2e5bd3ec12;hb=aae75fe21bcee7296ff092627f7e0b00beef1bcf;hpb=a8e2b17d6a581d1e2390ffe4df1bea49d3300db6

diff --git "a/c\316\273ash.bib" "b/c\316\273ash.bib"
index 4b9471a..cc2b292 100644
--- "a/c\316\273ash.bib"
+++ "b/c\316\273ash.bib"
@@ -31,6 +31,16 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{Cardelli1981,
+  author = {Luca Cardelli and Gordon Plotkin},
+  title = {{An Algebraic Approach to VLSI Design}},
+  booktitle = {{Proceedings of the VLSI 81 International Conference}},
+  year = {1981},
+  pages = {173-182},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
 @INPROCEEDINGS{Hawk2,
   author = {Byron Cook and John Launchbury and John Matthews},
   title = {{Specifying superscalar microprocessors in Hawk}},
@@ -54,6 +64,22 @@
   timestamp = {2010.01.21}
 }
 
+@INPROCEEDINGS{DAISY,
+  author = {Johnson, Steven D.},
+  title = {Applicative programming and digital design},
+  booktitle = {POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on
+	Principles of programming languages},
+  year = {1984},
+  pages = {218--227},
+  address = {New York, NY, USA},
+  publisher = {ACM},
+  doi = {http://doi.acm.org/10.1145/800017.800533},
+  isbn = {0-89791-125-3},
+  location = {Salt Lake City, Utah, United States},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
 @INPROCEEDINGS{Ruby,
   author = {Jones, G. and Sheeran, M.},
   title = {{Circuit Design in Ruby}},
@@ -151,6 +177,22 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{FHDL,
+  author = {Meshkinpour, F. and Ercegovac, M. D.},
+  title = {A functional language for description and design of digital systems:
+	sequential constructs},
+  booktitle = {DAC '85: Proceedings of the 22nd ACM/IEEE Design Automation Conference},
+  year = {1985},
+  pages = {238--244},
+  address = {New York, NY, USA},
+  publisher = {ACM},
+  doi = {http://doi.acm.org/10.1145/317825.317865},
+  isbn = {0-8186-0635-5},
+  location = {Las Vegas, Nevada, United States},
+  owner = {darchon},
+  timestamp = {2010.01.25}
+}
+
 @INPROCEEDINGS{Hydra,
   author = {John O'Donnell},
   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit