On Understanding Types, Data Abstraction, and Polymorphism

http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
Cardelli et Wegner, Computing Surveys
Merci à Laurent Bloch qui nous a communiqué ce lien. Va nous éviter de fouiller dans nos classeurs...