On the transformation between direct and continuation semantics

This publication has 16 references indexed in Scilit:

• Introduction
  Higher-Order and Symbolic Computation, 1993
• CPS-transformation after strictness analysis
  ACM Letters on Programming Languages and Systems, 1992
• Back to direct style
  Published by Springer Nature ,1992
• Notions of computation and monads
  Information and Computation, 1991
• For a better support of static data flow
  Published by Springer Nature ,1991
• Two-level semantics and code generation
  Theoretical Computer Science, 1988
• Continuation semantics in typed lambda-calculi
  Published by Springer Nature ,1985
• The theory and practice of transforming call-by-need into call-by-value
  Published by Springer Nature ,1980
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• On the relation between direct and continuation semantics
  Published by Springer Nature ,1974