An ideal model for recursive polymorphic types

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

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

HOPE

R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations

Nursing, Behavioral Sciences, Psychology +8