Principal Type-Schemes for Functional Programs

Luís Damas, Robin Milner. Principal Type-Schemes for Functional Programs. In POPL. pages 207-212, 1982.

Bibliographies