Type classes with functional dependencies (2000)

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

Document Versions

Type classes with functional dependencies –Mark P. Jones — 2000 — ESOP/ETA (LNCS)
Type Classes with Functional Dependencies –Mark Jones — 2000