John Ophel

Publication Activity (10 Years)

Years Active: 1989-2002
Publications (10 Years): 0

Publications

Dominic Duggan, John Ophel
Open and closed scopes for constrained genericity. Theor. Comput. Sci. 275 (1-2) (2002)
Dominic Duggan, John Ophel
Type-checking multi-parameter type classes. J. Funct. Program. 12 (2) (2002)
Austin Underhill, Mohammed Atiquzzaman, John Ophel
Performance of the Hough transform on a distributed memory multiprocessor. Microprocess. Microsystems 22 (7) (1999)
Dominic Duggan, Gordon V. Cormack, John Ophel
Kinded Type Inference for Parametric Overloading. Acta Informatica 33 (1) (1996)
John Ophel
An Introduction to the High-Level Language Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
John Ophel
An improved mixture rule for pattern matching. ACM SIGPLAN Notices 24 (6) (1989)