Type specialisation for imperative languages

This publication has 14 references indexed in Scilit:

• A general approach for run-time specialization and its application to C
  Published by Association for Computing Machinery (ACM) ,1996
• State in Haskell
  Higher-Order and Symbolic Computation, 1995
• Polyvariant constructor specialisation
  Published by Association for Computing Machinery (ACM) ,1995
• Lazy functional state threads
  Published by Association for Computing Machinery (ACM) ,1994
• Hand-writing program generator generators
  Published by Springer Nature ,1994
• Efficient analyses for realistic off-line partial evaluation
  Journal of Functional Programming, 1993
• Constructor specialization
  Published by Association for Computing Machinery (ACM) ,1993
• Automatic autoprojection of higher order recursive equations
  Science of Computer Programming, 1991
• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Techniques for partial evaluation of imperative languages
  ACM SIGPLAN Notices, 1991