A generalization of jumps and labels (1965)

Cached

Download Links

by Peter J. Landin
Venue:Report, UNIVAC Systems Programming Research
Citations:31 - 1 self

Documents Related by Co-Citation

299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
234 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
110 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
110 The Discoveries of Continuations – John C. Reynolds - 1993
199 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
331 The mechanical evaluation of expressions – P J Landin - 1964
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
730 Notions of Computation and Monads – Eugenio Moggi - 1991
70 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
131 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
125 A correspondence between ALGOL 60 and Church's lambdanotation – P Landin - 1965
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
63 Extracting constructive content from classical proofs – Chetan Murthy - 1990
11 Exceptions Are Strictly More Powerful Than Call Cc – Mark Lillibridge - 1995
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
150 Essentials of Programming Languages – D P Friedman, M Wand - 2008
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
67 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985