LISP and Symbolic Computation
Volume 6, Issue 1/2 (1993) Special Issue on EuLISP
| pp.9-98 |
An Overview of EULISP
Julian Padget, Greg Nuyens and Harry Bretthauer [abstract | local copy] |
| pp.99-118 |
EuLisp in Education
Russell Bradford and David De Roure [abstract | local copy] |
| pp.119-138 |
Balancing the EULISP Metaobject Protocol
Harry Bretthauer, Jürgen Kopp, Harley Davis and Keith Playford [abstract | local copy] |
| pp.139-158 |
Applications of Telos
Peter Broadbery and Christopher Burdorf [abstract | local copy] |
| pp.159-176 |
A Practical Approach to Type Inference for EuLisp
Andreas Kind and Horst Friedrich [abstract | local copy] |
| pp.177-200 |
EULISP Threads: A Concurrency Toolbox
Neil Berrington, Peter Broadbery, David De Roure and Julian Padget [abstract | local copy] |
| pp.201-220 |
Plurals: A SIMD Extension to EuLisp
Simon Merrall and Julian Padget [abstract | local copy] |
Volume 6, Issue 3/4 (1993) Special Issue on Continuations (Part I)
| pp.233-248 |
The Discoveries of Continuations
John C. Reynolds [abstract | local copy] |
| pp.249-258 |
The Next 700 Formal Language Descriptions
Lockwood Morris [abstract | local copy] |
| pp.259-288 |
Lambda-Calculus Schemata
Michael J. Fischer [abstract | local copy] |
| pp.289-360 |
Reasoning about Programs in Continuation-Passing Style
Amr Sabry and Matthias Felleisen [abstract | local copy] |
| pp.361-380 |
Polymorphic Type Assignment and CPS Conversion
Robert Harper and Mark Lillibridge [abstract | corrigendum] |