Basic polymorphic typechecking. Science of computer programming, 8(Issue 2):147–172 (1987)

by Luca Cardelli