Concepedia

Linear Continuation-Passing

Josh Berdine, Peter W. O’Hearn, Uday S. Reddy, Hayo Thielecke

LISP and Symbolic Computation · 2002 · 63 citations · 25 references

DOI

References

25

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

, , +5

Definitional interpreters for higher-order programming languages

John Reynolds · 1972 · 668 citations

, , +11

The essence of compiling with continuations

Cormac Flanagan, Amr Sabry, Bruce F. Duba et al. · 1993 · 533 citations

, , +14

Essentials of programming languages

Daniel Friedman · Choice Reviews Online · 2008 · 318 citations

, , +16

Reasoning about programs in continuation-passing style

Amr Sabry, Matthias Felleisen · LISP and Symbolic Computation · 1993 · 271 citations

, , +11