| |
| 2002 | ||
|---|---|---|
| 5 | Dominic Duggan, John Ophel: Type-checking multi-parameter type classes. J. Funct. Program. 12(2): 133-158 (2002) | |
| 4 | EE | Dominic Duggan, John Ophel: Open and closed scopes for constrained genericity. Theor. Comput. Sci. 275(1-2): 215-258 (2002) |
| 1996 | ||
| 3 | Dominic Duggan, Gordon V. Cormack, John Ophel: Kinded Type Inference for Parametric Overloading. Acta Inf. 33(1): 21-68 (1996) | |
| 1993 | ||
| 2 | John Ophel: An Introduction to the High-Level Language Standard ML. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 47-70 | |
| 1989 | ||
| 1 | EE | John Ophel: An improved mixture rule for pattern matching. SIGPLAN Notices 24(6): 91-96 (1989) |
| 1 | Gordon V. Cormack | [3] |
| 2 | Dominic Duggan | [3] [4] [5] |