A generalization of jumps and labels (1965)

Cached

Download Links

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

Active Bibliography

1507 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
237 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
229 Application of theorem proving to problem solving – Cordell Green - 1969
5 Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses – Peter Landin - 1997