John Ophel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

5 Dominic Duggan, John Ophel: Type-checking multi-parameter type classes. J. Funct. Program. 12(2): 133-158 (2002)

4 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 John Ophel: An improved mixture rule for pattern matching. SIGPLAN Notices 24(6): 91-96 (1989)

	2002
5		Dominic Duggan, John Ophel: Type-checking multi-parameter type classes. J. Funct. Program. 12(2): 133-158 (2002)
4		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		John Ophel: An improved mixture rule for pattern matching. SIGPLAN Notices 24(6): 91-96 (1989)

Coauthor Index