The Discoveries of Continuations (1993)

by John C. Reynolds , A. Van Wijngaarden , A. W. Mazurkiewicz , F. L. Morris , C. P. Wadsworth , J. H. Morris , M. J. Fischer , S. K. Abdali
Citations:126 - 2 self

Active Bibliography

308 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
114 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
16 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
985 A theory of type polymorphism in programming – Robin Milner - 1978
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
69 The origins of structural operational semantics – Gordon D. Plotkin - 2004
1353 Monads for functional programming – Philip Wadler - 1995
21 Definitional interpreters revisited – J C Reynolds - 1998
859 The Temporal Logic of Actions – Leslie Lamport - 1993