Pragmatics of type-directed partial evaluation

This publication has 13 references indexed in Scilit:

• The essence of eta-expansion in partial evaluation
  Higher-Order and Symbolic Computation, 1995
• Back to direct style
  Science of Computer Programming, 1994
• Dynamic typing: syntax and proof theory
  Science of Computer Programming, 1994
• On the transformation between direct and continuation semantics
  Published by Springer Nature ,1994
• Representing Control: a Study of the CPS Transformation
  Mathematical Structures in Computer Science, 1992
• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Logic programming in the LF logical framework
  Published by Cambridge University Press (CUP) ,1991
• Revised ⁴ report on the algorithmic language scheme
  ACM SIGPLAN Lisp Pointers, 1991
• Abstract continuations: a mathematical semantics for handling full jumps
  Published by Association for Computing Machinery (ACM) ,1988
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985