Compiling Haskell by program transformation: A report from the trenches

This publication has 12 references indexed in Scilit:

• Compiler transformations for high-performance computing
  ACM Computing Surveys, 1994
• The essence of compiling with continuations
  ACM SIGPLAN Notices, 1993
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
  Journal of Functional Programming, 1992
• An ad hoc approach to the implementation of polymorphism
  ACM Transactions on Programming Languages and Systems, 1991
• A modular fully-lazy lambda lifter in Haskell
  Software: Practice and Experience, 1991
• Unboxed values as first class citizens in a non-strict functional language
  Published by Springer Nature ,1991
• Compilation of functional languages by program transformation
  ACM Transactions on Programming Languages and Systems, 1991
• A study of a C function inliner
  Software: Practice and Experience, 1988
• Lambda lifting: Transforming programs to recursive equations
  Published by Springer Nature ,1985
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971