2.6 Bibliographie
[
Mil78
], R. Milner. "A theory of type polymorphism in programming" J. Comput. Syst. Sci. 1978
Premier article où le typage polymorphe de ML est décrit.
et les ouvrages cités dans la bibliographie sur le
l
-calcul parlant du typage.
