Basic polymorphic typechecking (1987)

by Luca Cardelli
Venue:Sci. Comput. Program