John Ophel

According to our database1, John Ophel
  • authored at least 6 papers between 1989 and 2002.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Open and closed scopes for constrained genericity.
Theor. Comput. Sci., 2002

Type-checking multi-parameter type classes.
J. Funct. Program., 2002

1999
Performance of the Hough transform on a distributed memory multiprocessor.
Microprocessors and Microsystems - Embedded Hardware Design, 1999

1996
Kinded Type Inference for Parametric Overloading.
Acta Inf., 1996

1993
An Introduction to the High-Level Language Standard ML.
Proceedings of the Functional Programming, 1993

1989
An improved mixture rule for pattern matching.
SIGPLAN Notices, 1989


  Loading...