Type Classes with Functional Dependencies (2001)

by M P Jones
Venue:Proceedings of ESOP’00, volume 1782 of LNCS