Concepedia

Simple imperative polymorphism

Andrew K. Wright

LISP and Symbolic Computation · 1995 · 197 citations · 16 references

DOI

References

16

A theory of type polymorphism in programming

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

, , +11

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen · Information and Computation · 1994 · 1.1K citations

, , +6

Principal type-schemes for functional programs

Robin Milner · 1982 · 1.1K citations

, , +6

The principle type-scheme of an object in combinatory logic

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

, , +6

Type inference for polymorphic references

Mads Tofte · Information and Computation · 1990 · 186 citations

, , +13