Alfonso Acosta-Gómez (2007):
Hardware Synthesis in ForSyDe.
Dept. of Microelectronics and Information Technology, Royal Institute of Technology,
Stockholm, Sweden.
Anders Bondorf (1992):
Improving Binding Times Without Explicit CPS-Conversion.
In: Clinger,
pp. 1–10.
Denis Bueno (2009):
funsat-0.6.0: A modern DPLL-style SAT solver.
http://hackage.haskell.org/package/funsat-0.6.0 http://hackage.haskell.org/packages/archive/funsat/0.6.0/doc/html/Funsat-Circuit.html.
Jacques Carette & Oleg Kiselyov (2011):
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.
Science of Computer Programming 76(5),
pp. 349–375.
Jacques Carette, Oleg Kiselyov & Chung-chieh Shan (2009):
Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages.
Journal of Functional Programming 19(5),
pp. 509–543,
doi:10.1017/S0956796809007205.
Koen Claessen & David Sands (1999):
Observable Sharing for Functional Circuit Description.
In: Thiagarajan & Yap,
doi:10.1007/3-540-46674-6_7.
William D. Clinger (1992):
Proceedings of the 1992 ACM Conference on Lisp and Functional Programming.
Lisp Pointers V(1).
ACM Press,
New York.
Conal Elliott, Sigbjorn Finne & Oege de Moor (2003):
Compiling Embedded Languages.
Journal of Functional Programming 13(3),
pp. 455–481,
doi:10.1017/S0956796802004574.
A. P. Ershov (1958):
On programming of arithmetic operations.
Communications of the ACM 1(8),
pp. 3–6,
doi:10.1145/368892.368907.
Andy Gill (2009):
Type-safe observable sharing in Haskell.
In: Weirich,
pp. 117–128,
doi:10.1145/1596638.1596653.
Tom Hawkins (2008):
I love purity, but it's killing me..
http://www.haskell.org/pipermail/haskell-cafe/2008-February/039339.html.
(2010):
Mescaline: a data-driven audio sequencer and synthesizer.
http://mescaline.puesnada.es/ http://mescaline.puesnada.es/doc/html/mescaline/src/Mescaline-Synth-Pattern-AST.html.
(2006):
2006 ACM SIGPLAN Workshop on ML.
ACM Press,
New York.
Matthew Naylor (2008):
Designing DSL with explicit sharing.
http://www.haskell.org/pipermail/haskell-cafe/2008-February/039671.html.
Matthew Naylor (2008):
I love purity, but it's killing me..
http://www.haskell.org/pipermail/haskell-cafe/2008-February/039347.html http://www.haskell.org/pipermail/haskell-cafe/2008-February/039449.html.
John T. O'Donnell (2003):
Embedding a Hardware Description Language in Template Haskell.
In: Christian Lengauer, Don S. Batory, Charles Consel & Martin Odersky: Domain-Specific Program Generation,
Lecture Notes in Computer Science 3016.
Springer,
pp. 143–164,
doi:10.1007/978-3-540-25935-0_9.
P. S. Thiagarajan & Roland H. C. Yap (1999):
Asian Computing Science Conference.
Lecture Notes in Computer Science 1742.
Henning Thielemann (2008):
I love purity, but it's killing me..
http://www.haskell.org/pipermail/haskell-cafe/2008-February/039343.html.
Stephanie Weirich (2009):
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell.
ACM Press,
New York.