The Correctness of Type Specialisation

This publication has 13 references indexed in Scilit:

• A Semantic Account of Type-Directed Partial Evaluation
  Published by Springer Nature ,1999
• Higher-order arity raising
  ACM SIGPLAN Notices, 1998
• Functor categories and two-level languages
  Published by Springer Nature ,1998
• Type specialisation for imperative languages
  Published by Association for Computing Machinery (ACM) ,1997
• Type-directed partial evaluation
  Published by Association for Computing Machinery (ACM) ,1996
• Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inference
  Lecture Notes in Computer Science, 1996
• A call-by-need lambda calculus
  Published by Association for Computing Machinery (ACM) ,1995
• A self-applicable partial evaluator for the lambda calculus
  ACM Transactions on Programming Languages and Systems, 1992
• Automatic autoprojection of higher order recursive equations
  Science of Computer Programming, 1991
• An ideal model for recursive polymorphic types
  Information and Control, 1986