A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The evaluation, classification and interpretation of expressions
ACM '64 Proceedings of the 1964 19th ACM national conference
Continuations, functions and jumps
ACM SIGACT News
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Higher-Order and Symbolic Computation
Comparing Control Constructs by Double-Barrelled CPS
Higher-Order and Symbolic Computation
On Exceptions Versus Continuations in the Presence of State
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Typed Exeptions and Continuations Cannot Macro-Express Each Other
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On the call-by-value CPS transform and its semantics
Information and Computation
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Specializing continuations a model for dynamic join points
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
Higher-Order and Symbolic Computation
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Böhm theorem and Böhm trees for the Λμ-calculus
Theoretical Computer Science
| Hi-index | 0.00 |
This paper describes a new language feature that is a hybridof labels and procedures. It is closely related to jumpingout of a functional subroutine, and includes conventionallabels and jumping as a special, but probably not most useful,case. It is independent of assignment, ie., it can be addedto a “purely-functional” (“non-imperative”) system (such as LISP without pseudo-functions or program feature). Experimentsin purely functional programming suggest that its main usewill be in success/failure situations, and failure actions.This innovation is incorporated in the projected experimentalsystem, ISWIM.