Embedding a Second-Order Type System into an Intersection Type System

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

Principal type-schemes for functional programs

Robin Milner · 1982 · 1.1K citations

Computing, Computer Science, Compilers +6

A filter lambda model and the completeness of type assignment

Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini · Journal of Symbolic Logic · 1983 · 496 citations

Computing, Computer Science, Logic +13

The principle type-scheme of an object in combinatory logic

Roger Hindley · Transactions of the American Mathematical Society · 1969 · 453 citations · Full text

Computing, Computer Science, Combinatorics +6

An extension of the basic functionality theory for the $\lambda$-calculus.

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini · Notre Dame Journal of Formal Logic · 1980 · 276 citations · Full text

Computing, Computer Science, Formal Methods +10