Journal: Higher-Order and Symbolic Computation

Volume 6, Issue 3-4

233 -- 248John C. Reynolds. The Discoveries of Continuations
249 -- 258Lockwood Morris. The Next 700 Formal Language Descriptions
259 -- 288Michael J. Fischer. Lambda-Calculus Schemata
289 -- 360Amr Sabry, Matthias Felleisen. Reasoning about Programs in Continuation-Passing Style
361 -- 380Robert Harper, Mark Lillibridge. Polymorphic Type Assignment and CPS Conversion

Volume 6, Issue 1-2

9 -- 98Julian A. Padget, Greg Nuyens, Harry Bretthauer. An Overview of EULISP
99 -- 118Russell J. Bradford, David De Roure. EuLisp in Education
119 -- 138Harry Bretthauer, Jürgen Kopp, Harley Davis, Keith Playford. Balancing the EULISP Metaobject Protocol
139 -- 158Peter A. Broadbery, Christopher Burdorf. Applications of Telos
159 -- 176Andreas Kind, Horst Friedrich. A Practical Approach to Type Inference for EuLisp
177 -- 200Neil Berrington, Peter A. Broadbery, David De Roure, Julian A. Padget. EULISP Threads: A Concurrency Toolbox
201 -- 220Simon C. Merrall, Julian A. Padget. Plurals: A SIMD Extension to EuLisp