Type classes with functional dependencies (2000)

by M P Jones
Venue:In Programming Languages and Systems