On the Efficiency of Categorical Combinators as a Rewriting System.
Flexible Symbol Table Structures for Compiling C++.
The Use of Colour in Language Syntax Analysis.
Music-A Language for Typesetting Music Scores.
Register Allocation in a Pattern Matching Code Generator.
A Portable Implementation of a Modular Multiprocessing Database Programming Language.