address = {New York, NY, USA},
}
-% vim: set paste:
+@inproceedings{sulzmann07,
+ 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},
+ year = {2007},
+ isbn = {1-59593-393-X},
+ pages = {53--66},
+ location = {Nice, Nice, France},
+ doi = {http://doi.acm.org/10.1145/1190315.1190324},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@phdthesis{sheeran83,
+ author = {Mary Sheeran},
+ title = {µFP, an algebraic VLSI design language},
+ year = {1983},
+ school = {Programming Research Group, Oxford University},
+}
+
+@inproceedings{jones90,
+ address = {Lyngby, Denmark},
+ author = {Jones, G. and Sheeran, M.},
+ booktitle = {Formal Methods for VLSI Design},
+ journal = {Circuit Design in Ruby},
+ publisher = {Elsevier Science Publishers},
+ title = {Circuit Design in Ruby},
+ year = {1990}
+}
+
+
+@phdthesis{claessen00,
+ title = {An Embedded Language Approach to Hardware Description and Verification},
+ author = {Koen Claessen},
+ year = {2000},
+ school = {Dept. of Computer Science and Engineering, Chalmers University of Technology.},
+}
+
+@inproceedings{sander04,
+ author = {Sander, I. and Jantsch, A.},
+ title = {System Modeling and Design Refinement in ForSyDe},
+ journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
+ institution = {},
+ year = {2004},
+ volume = {23},
+ number = {1},
+ pages = {17--32},
+ issn = {0278-0070},
+}
+
+@mastersthesis{baaij09,
+ author = {Christiaan Baaij},
+ title = {CλasH: From Haskell to Hardware},
+ year = {2009},
+ school = {Twente University},
+}
+
+@article{reynolds98,
+ author = {Reynolds, John C.},
+ title = {Definitional Interpreters for Higher-Order Programming Languages},
+ journal = {Higher Order Symbol. Comput.},
+ volume = {11},
+ number = {4},
+ year = {1998},
+ issn = {1388-3690},
+ pages = {363--397},
+ doi = {http://dx.doi.org/10.1023/A:1010027404223},
+ publisher = {Kluwer Academic Publishers},
+ address = {Hingham, MA, USA},
+}