John Ophel

According to our database, John Ophel authored at least 6 papers between 1989 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Open and closed scopes for constrained genericity.

Dominic Duggan, John Ophel

Theor. Comput. Sci., 2002

Type-checking multi-parameter type classes.

Dominic Duggan, John Ophel

J. Funct. Program., 2002

1999

Performance of the Hough transform on a distributed memory multiprocessor.

Austin Underhill, Mohammed Atiquzzaman, John Ophel

Microprocess. Microsystems, 1999

1996

Kinded Type Inference for Parametric Overloading.

Dominic Duggan, Gordon V. Cormack, John Ophel

Acta Informatica, 1996

1993

An Introduction to the High-Level Language Standard ML.

John Ophel

Proceedings of the Functional Programming, 1993

1989

An improved mixture rule for pattern matching.

John Ophel

ACM SIGPLAN Notices, 1989