Type classes with functional dependencies (2000)

by Mark P. Jones
Venue:ESOP/ETA (LNCS)
Citations:156 - 1 self