Type-checking multi-parameter type classes (0)

by Dominic Duggan, John Ophel
Venue:J. Funct. Program