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

Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses – Peter Landin Department, Peter Landin - 1997
An Emerging Domain Science -- A Rôle for Stanisław Leshniewski’s Mereology and Bertrand Russell’s . . . – Dines Bjørner
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
13 An Introduction to Landin's "A Generalization of Jumps and Labels " – Hayo Thielecke
c ○ 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Fundamental Concepts in Programming Languages – Christopher Strachey
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
110 The Discoveries of Continuations – John C. Reynolds - 1993
101 Lambda-Calculus Schemata – Michael J. Fischer - 1993
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
Referees – Prof Chiara Bodei, Prof Gian, Luigi Ferrari, Prof António Ravara, Prof Emilio Tousto
22 A Verified Code Generator For A Subset Of Gypsy – William D. Young, William D. Young, William D. Young - 1988
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
unknown title – P. J. Landin
Squinting at Power Series – Douglas Mcilroy Att, M. Douglas Mcilroy - 1989
1 Reflections on complexity of ML type reconstruction – Tomasz Wierzbicki - 1997
4 Squinting at Power Series – M. Douglas Mcilroy - 1990
Continuations, Functions and Jumps – Jon G. Riecke, Hayo Thielecke - 1999
3 A case against the GOTO – William A. Wulf - 1972