Higher-Order and Symbolic Computation, 11(2)125-143

A Generalization of Jumps and Labels

Peter J. Landin, QMW, University of London

Abstract: This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional labels and jumping as a special, but probably not most useful, case. It is independent of assignment, ie., it can be added to a "purely-functional" ("non-imperative") system (such as LISP without pseudo-functions or program feature). Experiments in purely functional programming suggest that its main use will be in success/failure situations, and failure actions. This innovation is incorporated in the projected experimental system, ISWIM.

This article can be downloaded [here] or locally [here.. 		[picture of journal cover]

April 2004 - hosc@brics.dk