A scheme for a higher-level semantic algebra

Typing first-class continuations in ML

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Revised report on the algorithmic language scheme

ACM SIGPLAN Lisp Pointers

Final shift for call/cc:: direct implementation of shift and reset

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Definitional Interpreters Revisited

Higher-Order and Symbolic Computation

On the static and dynamic extents of delimited continuations

Science of Computer Programming

First-class nonstandard interpretations by opening closures

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A syntactic correspondence between context-sensitive calculi and abstract machines

Theoretical Computer Science

Readings in scheme

ACM SIGPLAN Lisp Pointers

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

Information Processing Letters

Defunctionalized interpreters for programming languages

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Refunctionalization at work

Science of Computer Programming

Towards compatible and interderivable semantic specifications for the scheme programming language, part I: denotational semantics, natural semantics, and abstract machines

Semantics and algebraic specification

A rational deconstruction of landin's j operator

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages