A calculus for overloaded functions with subtyping. In Proc. of Lisp and Functional Programming , 1992. 6 G.V. Cormack and A.K. Wright. Type-dependent parameter inference. 7 James Donahue and Alan Demers.
Data types are values.
8 Paul Hudak, Simon Peyton Jones, Philip Wadler, and al. Report on the programming language Haskell, Version 1.2. Technical report, Yale University, March 1992. 9 Stefan Kaes. Parametric overloading in polymorphic programming languages.