Luca Cardelli Basic Polymorphic Typechecking. 147-172 1987 8 Sci. Comput. Program. 2 db/journals/scp/scp8.html#Cardelli87