@mastersthesis(acosta-hardware,
 author       = "Alfonso Acosta-G{\'o}mez",
 year         = "2007",
 title        = "Hardware Synthesis in {F}or{S}y{D}e",
 school       = "Dept.\ of Microelectronics and Information Technology, Royal Institute of Technology",
 address      = "Stockholm, Sweden",
)
@inproceedings(bondorf-improving,
 author       = "Anders Bondorf",
 year         = "1992",
 title        = "Improving Binding Times Without Explicit {CPS}-Conversion",
 editor       = "Clinger",
 pages        = "1--10",
)
@misc(funsat,
 author       = "Denis Bueno",
 year         = "2009",
 title        = "funsat-0.6.0: A modern {DPLL}-style {SAT} solver",
 howpublished = "\url {http://hackage.haskell.org/package/funsat-0.6.0} \url {http://hackage.haskell.org/packages/archive/funsat/0.6.0/doc/html/Funsat-Circuit.html}",
)
@article(carette-multi-stage-scp,
 author       = "Jacques Carette and Oleg Kiselyov",
 year         = "2011",
 title        = "Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code",
 journal      = "Science of Computer Programming",
 volume       = "76",
 number       = "5",
 pages        = "349--375",
)
@article(carette-finally-jfp,
 author       = "Jacques Carette and Oleg Kiselyov and Chung-chieh Shan",
 year         = "2009",
 title        = "Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 number       = "5",
 pages        = "509--543",
 doi          = "10.1017/S0956796809007205",
)
@inproceedings(claessen-observable,
 author       = "Koen Claessen and David Sands",
 year         = "1999",
 title        = "Observable Sharing for Functional Circuit Description",
 editor       = "Thiagarajan and Yap",
 doi          = "10.1007/3-540-46674-6\_7",
)
@proceedings(lfp1992,
 editor       = "William D. Clinger",
 year         = "1992",
 title        = "Proceedings of the 1992 {ACM} Conference on {L}isp and Functional Programming",
 series       = "Lisp Pointers",
 volume       = "V(1)",
 publisher    = "{ACM} {P}ress",
 address      = "{N}ew {Y}ork",
)
@article(elliott-compiling,
 author       = "Conal Elliott and Sigbjorn Finne and Oege de Moor",
 year         = "2003",
 title        = "Compiling Embedded Languages",
 journal      = "Journal of Functional Programming",
 volume       = "13",
 number       = "3",
 pages        = "455--481",
 doi          = "10.1017/S0956796802004574",
)
@article(Ershov-hash-consing,
 author       = "A. P. Ershov",
 year         = "1958",
 title        = "On programming of arithmetic operations",
 journal      = "Communications of the {ACM}",
 volume       = "1",
 number       = "8",
 pages        = "3--6",
 doi          = "10.1145/368892.368907",
)
@inproceedings(filliatre-type-safe,
 author       = "Jean-Christophe Filli{\^a}tre and Sylvain Conchon",
 year         = "2006",
 title        = "Type-Safe Modular Hash-Consing",
 pages        = "12--19",
 doi          = "10.1145/1159876.1159880",
)
@inproceedings(Gill-observable,
 author       = "Andy Gill",
 year         = "2009",
 title        = "Type-safe observable sharing in {H}askell",
 editor       = "Weirich",
 pages        = "117--128",
 doi          = "10.1145/1596638.1596653",
)
@misc(Hawkins-CSE,
 author       = "Tom Hawkins",
 year         = "2008",
 title        = "I love purity, but it's killing me.",
 howpublished = "\url {http://www.haskell.org/pipermail/haskell-cafe/2008-February/039339.html}",
)
@misc(mescaline,
 year         = "2010",
 title        = "Mescaline: a data-driven audio sequencer and synthesizer",
 howpublished = "\url {http://mescaline.puesnada.es/} \url {http://mescaline.puesnada.es/doc/html/mescaline/src/Mescaline-Synth-Pattern-AST.html}",
)
@proceedings(ml2006,
 year         = "2006",
 title        = "2006 {ACM} {SIG\-PLAN} Workshop on {ML}",
 publisher    = "{ACM} {P}ress",
 address      = "{N}ew {Y}ork",
)
@misc(Naylor-sharing,
 author       = "Matthew Naylor",
 year         = "2008",
 title        = "Designing DSL with explicit sharing",
 howpublished = "\url {http://www.haskell.org/pipermail/haskell-cafe/2008-February/039671.html}",
)
@misc(Naylor-obs-sharing,
 author       = "Matthew Naylor",
 year         = "2008",
 title        = "I love purity, but it's killing me.",
 howpublished = "\url {http://www.haskell.org/pipermail/haskell-cafe/2008-February/039347.html} \url {http://www.haskell.org/pipermail/haskell-cafe/2008-February/039449.html}",
)
@inproceedings(ODonnell-dagstuhl,
 author       = "John T. O'Donnell",
 year         = "2003",
 title        = "Embedding a {H}ardware {D}escription {L}anguage in {T}emplate {H}askell",
 editor       = "Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky",
 booktitle    = "Domain-Specific Program Generation",
 series       = "{L}ecture {N}otes in {C}omputer {S}cience",
 volume       = "3016",
 publisher    = "Springer",
 pages        = "143--164",
 doi          = "10.1007/978-3-540-25935-0\_9",
)
@proceedings(asian1999,
 editor       = "P. S. Thiagarajan and Roland H. C. Yap",
 year         = "1999",
 title        = "{A}sian {C}omputing {S}cience {C}onference",
 series       = "{L}ecture {N}otes in {C}omputer {S}cience",
 volume       = "1742",
)
@misc(Thielemann,
 author       = "Henning Thielemann",
 year         = "2008",
 title        = "I love purity, but it's killing me.",
 howpublished = "\url {http://www.haskell.org/pipermail/haskell-cafe/2008-February/039343.html}",
)
@proceedings(haskell2009,
 editor       = "Stephanie Weirich",
 year         = "2009",
 title        = "Proceedings of the 2nd {ACM} {SIG{\-}PLAN} Symposium on {H}askell",
 publisher    = "{ACM} {P}ress",
 address      = "{N}ew {Y}ork",
)