Journal: Higher-Order and Symbolic Computation

Volume 10, Issue 3

189 -- 199Mitchell Wand. The Theory of Fexprs is Trivial
201 -- 222Sho-Huan Simon Tung. Visualizing Evaluation in Scheme
223 -- 236Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig. Threads Yield Continuations
237 -- 271David A. Schmidt. Trace-Based Abstract Interpretation of Operational Semantics

Volume 10, Issue 2

101 -- 111Olivier Danvy, Mayer Goldberg. Partial Evaluation of the Euclidian Algorithm
113 -- 158Robert Glück, Jesper Jørgensen. An Automatic Program Generator for Multi-Level Specialization
159 -- 181David S. Wise, Brian C. Heck, Caleb Hess, Willie Hunt, Eric Ost. Research Demonstration of a Hardware Reference-Counting Heap

Volume 10, Issue 1

5 -- 38J. H. Jacobs, Mark R. Swanson. UCL+P - Defining and Implementing Persistent Common Lisp
39 -- 60Arthur H. Lee, Joseph L. Zachary. Adding Support for Persistence to CLOS via Its Metaobject Protocol
61 -- 91Atsushi Ohori, Tomonobu Takamizawa. An Unboxed Operational Semantics for ML Polymorphism