Multi-Level Lambda-Calculi: An algebraic description

This publication has 10 references indexed in Scilit:

• Efficient multi-level generating extensions for program specialization
  Published by Springer Nature ,1995
• Polymorphic binding-time analysis
  Published by Springer Nature ,1994
• Two-Level Functional Languages
  Published by Cambridge University Press (CUP) ,1992
• Forced transformation of Occam programs
  Information and Software Technology, 1992
• Algebraic Specification
  Published by Elsevier ,1990
• Type Systems for Programming Languages
  Published by Elsevier ,1990
• Two-level semantics and abstract interpretation
  Theoretical Computer Science, 1989
• Two-level semantics and code generation
  Theoretical Computer Science, 1988
• Automatic binding time analysis for a typed λ-calculus
  Science of Computer Programming, 1988
• An experiment in partial evaluation: The generation of a compiler generator
  Lecture Notes in Computer Science, 1985