Type-checking multi-parameter type classes

Dominic Duggan, John Ophel. Type-checking multi-parameter type classes. Journal of Functional Programming, 12(2):133-158, 2002.

Abstract

Abstract is missing.