Complete restrictions of the intersection type discipline

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

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 Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

Natural Sciences, Mathematics, Algebra +15

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

The Principal Type-Scheme of an Object in Combinatory Logic

R. Hindley · Transactions of the American Mathematical Society · 1969 · 315 citations

Computing, Computer Science, Combinatorics +13