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