The completeness theorem for typing λ-terms

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

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

Computing, Computer Science, Number Theory +8

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

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