John Ophel

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Open and closed scopes for constrained genericity
Theoretical Computer Science
2002-07-31Paper
Type-checking multi-parameter type classes
Journal of Functional Programming
2002-05-14Paper
Kinded type inference for parametric overloading
Acta Informatica
1996-04-16Paper


Research outcomes over time


This page was built for person: John Ophel