Type classes and functional dependencies (1999)

by M P Jones
Venue:Proceedings of the 9th european symposium on programming, esop 2000