LISP and Symbolic Computation
Volume 5, Issue 1/2 (May 1992) Special Issue on Mayfly
| pp.7-48 |
Mayfly: A General-Purpose, Scalable, Parallel Processing Architecture
Al Davis [abstract] |
| pp.49-72 |
Parallel Logic Programs on the Mayfly
John S. Conery [abstract] |
| pp.73-93 |
Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System
R. Kessler, H. Carr, L. Stoller and M. Swanson [abstract] |
| pp.95-104 |
Concurrent Scheme Reference
Mark R. Swanson [abstract] |
| pp.105-123 |
DPOS: A Metalanguage and Programming Environment for Parallel Processing
John D. Evans and Robert R. Kessler [abstract] |
Volume 5, Issue 3 (September 1992)
| pp.133-156 |
A "Functional + Logic" Programming Language in Interpretation-Compilation Implementation
Gang Cheng and Zhang Yun-Zheng [abstract] |
| pp.157-190 |
A Decision Procedure for Common Lisp's SUBTYPEP Predicate
Henry G. Baker [abstract] |
| pp.191-221 |
Callee-Save Registers in Continuation-Passing Style
Andrew W. Appel and Zhong Shao [abstract | local copy] |
| pp.223-270 |
Constraint Hierarchies
Alan Borning, Bjorn Freeman-Benson and Molly Wilson [abstract | local copy] |
| pp.271-287 |
A Debugging Environment for Lazy Functional Languages
Guy Lapalme and Mario Latendresse [abstract | local copy] |
Volume 5, Issue 4 (1992)
| pp.295-326 |
Syntactic Abstraction in Scheme
R. Kent Dybvig, Robert Hieb and Carl Bruggeman [abstract | local copy] |
| pp.327-342 |
Partial Evaluation in Parallel
Charles Consel and Olivier Danvy [abstract | local copy] |
| pp.343-375 |
First-Class Extents
Shinn-Der Lee and Daniel P. Friedman [abstract | local copy] |