LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
The next 700 formal language descriptions
Lisp and Symbolic Computation - Special issue on continuations—part I
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A bonus from van Wijngaarden's device
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The next 700 programming languages
Communications of the ACM
An Introduction to Landin‘s “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation
A Generalization of Jumps and Labels
Higher-Order and Symbolic Computation
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Continuations: A Mathematical Semantics for Handling FullJumps
Higher-Order and Symbolic Computation
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Proceedings of ACM conference on Proving assertions about programs
Rabbit: A Compiler for Scheme
Science of Computer Programming
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Hi-index | 0.00 |
This note is a prelude to a forthcoming special issue of HOSC dedicated to Peter Landin's memory.