Volume 8, Number 1, February 1987
: Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types.
, Hélène Kirchner
: REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.
: Small Programming Exercises 15.
Volume 8, Number 2, April 1987
Richard S. Bird
: A Formal Development of an Efficient Subercombinator Compiler.
: Small Programming Exercises 16.
Volume 8, Number 3, June 1987
Douglas R. Smith
: Applications of a Strategy for Designing Divide-and-Conquer Algorithms.
: Statecharts: A Visual Formalism for Complex Systems.
: Small Programming Exercises 17.