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