A Parametric Extension of Haskell's Type Classes (1994)

by Kung Chen