Building program optimizers with rewriting strategies

This publication has 11 references indexed in Scilit:

• A transformation-based optimiser for Haskell
  Science of Computer Programming, 1998
• From ML to Ada: Strongly-typed language interoperability via source translation
  Journal of Functional Programming, 1998
• Shrinking lambda expressions in linear time
  Journal of Functional Programming, 1997
• Aspect-oriented programming
  Published by Springer Nature ,1997
• Language Prototyping: An Algebraic Specification Approach
  Published by World Scientific Pub Co Pte Ltd ,1996
• The design and implementation of genesis
  Software: Practice and Experience, 1994
• The denotational semantics of a functional tree-manipulation language
  Computer Languages, 1993
• Sharlit---a tool for building optimizers
  Published by Association for Computing Machinery (ACM) ,1992
• Compilation of functional languages by program transformation
  ACM Transactions on Programming Languages and Systems, 1991
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979