Higher-Order and Symbolic Computation, 11(2)117-123
An Introduction to Landin's "A Generalization of Jumps and Labels"Hayo Thielecke, QMW, University of London
|
Abstract: This note introduces Peter Landin's 1965 technical
report "A Generalization of Jumps and Labels", which is reprinted in
this volume. Its aim is to make that historic paper more accessible to
the reader and to help reading it in context. To this end, we explain
Landin's control operator J in more contemporary terms, and we recall
Burge's solution to a technical problem in Landin's original account.
Keywords: J-operator, SECD-machine, call/cc, goto, history of programming languages |
This article can be downloaded [here] or locally [here.