Polymorphic type inference and containment

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

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

Completeness in the theory of types

Leon Henkin · Journal of Symbolic Logic · 1950 · 842 citations

Humanities, Computer Science, Mathematics +12

Data Types as Lattices

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

Computing, Computer Science, Number Theory +8