Polymorphic type-checking. In The Implementation of Functional Programming Languages, by Simon Peyton-Jones (1987)

by P Hancock