1. Alfonso Acosta-Gómez (2007): Hardware Synthesis in ForSyDe. Dept. of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, Sweden.
  2. Anders Bondorf (1992): Improving Binding Times Without Explicit CPS-Conversion. In: Clinger, pp. 1–10.
  3. Denis Bueno (2009): funsat-0.6.0: A modern DPLL-style SAT solver.
  4. 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.
  5. 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.
  6. Koen Claessen & David Sands (1999): Observable Sharing for Functional Circuit Description. In: Thiagarajan & Yap, doi:10.1007/3-540-46674-6_7.
  7. William D. Clinger (1992): Proceedings of the 1992 ACM Conference on Lisp and Functional Programming. Lisp Pointers V(1). ACM Press, New York.
  8. Conal Elliott, Sigbjorn Finne & Oege de Moor (2003): Compiling Embedded Languages. Journal of Functional Programming 13(3), pp. 455–481, doi:10.1017/S0956796802004574.
  9. A. P. Ershov (1958): On programming of arithmetic operations. Communications of the ACM 1(8), pp. 3–6, doi:10.1145/368892.368907.
  10. Jean-Christophe Filli^atre & Sylvain Conchon (2006): Type-Safe Modular Hash-Consing, pp. 12–19, doi:10.1145/1159876.1159880.
  11. Andy Gill (2009): Type-safe observable sharing in Haskell. In: Weirich, pp. 117–128, doi:10.1145/1596638.1596653.
  12. Tom Hawkins (2008): I love purity, but it's killing me..
  13. (2010): Mescaline: a data-driven audio sequencer and synthesizer.
  14. (2006): 2006 ACM SIGPLAN Workshop on ML. ACM Press, New York.
  15. Matthew Naylor (2008): Designing DSL with explicit sharing.
  16. Matthew Naylor (2008): I love purity, but it's killing me..
  17. 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.
  18. P. S. Thiagarajan & Roland H. C. Yap (1999): Asian Computing Science Conference. Lecture Notes in Computer Science 1742.
  19. Henning Thielemann (2008): I love purity, but it's killing me..
  20. Stephanie Weirich (2009): Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell. ACM Press, New York.

Comments and questions to:
For website issues: