Type Classes with Functional Dependencies. Pages 230–244 of (2000)

by M P Jones
Venue:Proceedings of the 9th European Symposium on Programming Languages and Systems