Cardelli, Luca et al "On Understanding Types, Data Abstractions and Polymorphism" ACM Comp Surveys 17(4) (Dec 1985).
(1985)
Luca Cardelli
Languages mentioned
Fun
{1985} Typed lambda-calculus