Type classes with functional dependencies (2000)

by Mark P Jones
Venue:In ESOP ’00: Proceedings of the 9th European Symposium on Programming Languages and Systems