An improved mixture rule for pattern matching. - John Ophel (ACM SIGPLAN Notices, 1989)

An Introduction to the High-Level Language Standard ML. - John Ophel (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Kinded Type Inference for Parametric Overloading. - Dominic Duggan; Gordon V. Cormack; John Ophel (Acta Informatica, 1996)

Performance of the Hough transform on a distributed memory multiprocessor. - Austin Underhill; Mohammed Atiquzzaman; John Ophel (Microprocess. Microsystems, 1999)

Type-checking multi-parameter type classes. - Dominic Duggan; John Ophel (J. Funct. Program., 2002)

Open and closed scopes for constrained genericity. - Dominic Duggan; John Ophel (Theor. Comput. Sci., 2002)