Volume 2, Number 1, January 1992
: A Categorical Understanding of Environment Machines.
Volume 2, Number 2, April 1992
Simon L. Peyton Jones
: Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine.
Harry G. Mairson
: Quantifier Elimination and Parametric Polymorphism in Programming Languages.
Volume 2, Number 3, July 1992
Volume 2, Number 4, October 1992
P. J. Brumfitt
: MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware.
Mark P. Jones
: Computing with Lattices: An Application of Type Classes.