LISP and Symbolic Computation
Volume 10, Issue 1 (June 1997)
|
pp. 5-38
|
UCL+P--Defining and Implementing Persistent Common Lisp
J. H. Jacobs and M. R. Swanson
[abstract | full text]
|
|
pp. 39-60
|
Adding Support for Persistence to CLOS via Its Metaobject Protocol
Arthur H. Lee and Joseph L. Zachary
[abstract | full text]
|
|
pp. 61-91
|
An Unboxed Operational Semantics for ML Polymorphism
Atsushi Ohori and Tomonobu Takamizawa
[abstract | full text]
|
Volume 10, Issue 2 (July 1997)
|
p. 99
|
Editorial
Bob Kessler and Carolyn Talcott
[editorial]
|
|
pp. 101-111
|
Partial Evaluation of the Euclidian Algorithm
Olivier Danvy and Mayer Goldberg
[abstract | full text]
|
|
pp. 113-158
|
An Automatic Program Generator for Multi-Level Specialization
Robert Glück and Jesper Jørgensen
[abstract | full text]
|
|
pp. 159-181
|
Research Demonstration of a Hardware Reference-Counting Heap
David S. Wise, Brian Heck, Caleb Hess, Willie Hunt and Eric Ost
[abstract | full text]
|
Volume 10, Issue 3 (May 1998)
|
pp. 189-199
|
The Theory of Fexprs is Trivial
Mitchell Wand
[abstract | full text]
|
|
pp. 201-222
|
Visualizing Evaluation in Scheme
Sho-Huan Simon Tung
[abstract | full text]
|
|
pp. 223-236
|
Threads Yield Continuations
Sanjeev Kumar, Carl Bruggeman and R. Kent Dybvig
[abstract | full text]
|
|
pp. 237-271
|
Trace-Based Abstract Interpretation of Operational Semantics
David A. Schmidt
[abstract | full text]
|
Volume 10, Issue 4 (August 1998)
|
|