dblp.uni-trier.dewww.uni-trier.de

John Ophel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gordon V. Cormack [3]
2Dominic Duggan [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)