Login / Signup
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)