Paper1978
A Theory of Type Polymorphism in Programming
Robin Milner
Gives an algorithm that infers the most general type of an expression without any type annotations, and proves a well-typed program this way cannot go wrong at runtime.
FreeAdvanced
Computer Science · Programming Languages
Type Systems
A topic within Programming Languages, itself one of 13 topics in that field and part of Computer Science.
Reading on Type Systems
22 works
Paper1985
On Understanding Types, Data Abstraction, and Polymorphism
Luca Cardelli & Peter Wegner
Unifies inheritance, generics and overloading under one account of polymorphism, arguing a type system's job is to police which operations a value may safely support.
link checked 17 Sept 2026FreeAdvanced