Volume 1, Number 1, January 1991
F. Warren Burton
: Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.
: Using Types as Search Keys in Function Libraries.
Volume 1, Number 2, April 1991
Volume 1, Number 3, July 1991
Geoffrey L. Burn
: Implementing the Evaluation Transformer Model of Reduction on Parallel Machines.
: An Unsolvable Numeral System in lambda Calculus.
Volume 1, Number 4, October 1991