X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;h=7542f1d08417421fe8b8efc8b35de8c8de4f6c07;hp=f3aeaa5fd49035bf74259dcbc94d5d2d96f389ba;hb=4472d01216b9ec00fc8b2cea2a49452b7895fef6;hpb=92f100ec66785792b557fb877a392d2ef8fb4e20

diff --git a/clash.bib b/clash.bib
index f3aeaa5..7542f1d 100644
--- a/clash.bib
+++ b/clash.bib
@@ -106,6 +106,18 @@
   timestamp = {2010.01.21}
 }
 
+@BOOK{lambdacalculus,
+  title = {{The Lambda Calculus: its Syntax and Semantics}},
+  publisher = {{Elsevier Science}},
+  year = {1984},
+  author = {{H.P. Barendregt}},
+  volume = {103},
+  series = {{Studies in Logic and the Foundations of Mathematics}},
+  edition = {{Revised}},
+  owner = {baaijcpr},
+  timestamp = {2010.03.02}
+}
+
 @INPROCEEDINGS{DAISY,
   author = {Johnson, Steven D.},
   title = {Applicative programming and digital design},
@@ -138,6 +150,17 @@
   timestamp = {2010.01.20}
 }
 
+@MASTERSTHESIS{HML3,
+  author = {Yanbing Li},
+  title = {{HML: An Innovative Hardware Description Language and Its Translation
+	to VHDL}},
+  school = {Cornell University},
+  year = {1995},
+  month = {August},
+  owner = {baaijcpr},
+  timestamp = {2010.03.08}
+}
+
 @ARTICLE{HML2,
   author = {Yanbing Li and Leeser, M.},
   title = {{HML, a novel hardware description language and its translation to
@@ -250,6 +273,19 @@
   timestamp = {2010.01.25}
 }
 
+@INCOLLECTION{Bluespec,
+  author = {Rishiyur S. Nikhil},
+  title = {{Bluespec: A General-Purpose Approach to High-Level Synthesis Based
+	on Parallel Atomic Transactions}},
+  booktitle = {{High-Level Synthesis - From Algorithm to Digital Circuit}},
+  publisher = {Springer Netherlands},
+  year = {2008},
+  editor = {{Philippe Coussy and Adam Morawiec}},
+  pages = {129--146},
+  owner = {baaijcpr},
+  timestamp = {2010.03.09}
+}
+
 @INPROCEEDINGS{Hydra,
   author = {John O'Donnell},
   title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
@@ -341,6 +377,24 @@
   timestamp = {2010.02.24}
 }
 
+@INPROCEEDINGS{Sulzmann2007,
+  author = {Sulzmann, Martin and Chakravarty, Manuel M. T. and Jones, Simon Peyton
+	and Donnelly, Kevin},
+  title = {{System F with Type Equality Coercions}},
+  booktitle = {{TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop
+	on Types in languages design and implementation, Nice, France}},
+  year = {2007},
+  pages = {53--66},
+  address = {{New York, NY, USA}},
+  month = {January},
+  publisher = {{ACM}},
+  doi = {http://doi.acm.org/10.1145/1190315.1190324},
+  isbn = {1-59593-393-X},
+  location = {Nice, Nice, France},
+  owner = {darchon},
+  timestamp = {2009.10.23}
+}
+
 @ELECTRONIC{ghc,
   author = {{The GHC Team}},
   title = {{The Glasgow Haskell Compiler}},