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