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},
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
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