Type classes with functional dependencies (2000)

by Mark P Jones
Venue:In Proc. of ESOP 2000, number 1782 in Lecture Notes in Computer Science