Type classes with functional dependencies. Pages 230–244 of: ESOP (2000)

by Mark P Jones