Basic polymorphic typechecking - Cardelli, Luca (1984)