A transformation-based optimiser for Haskell

This publication has 32 references indexed in Scilit:

• Warm fusion
  Nature, 2005
• Imperative functional programming
  ACM Computing Surveys, 1996
• Dictionary-free overloading by partial evaluation
  Higher-Order and Symbolic Computation, 1995
• A type-based compiler for standard ML
  ACM SIGPLAN Notices, 1995
• Tag-free garbage collection using explicit type parameters
  ACM SIGPLAN Lisp Pointers, 1994
• Lazy functional state threads
  ACM SIGPLAN Notices, 1994
• The essence of compiling with continuations
  ACM SIGPLAN Notices, 1993
• An ad hoc approach to the implementation of polymorphism
  ACM Transactions on Programming Languages and Systems, 1991
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990
• A study of a C function inliner
  Software: Practice and Experience, 1988