Type Theories and ObjectOriented Programming (1988)

by Scott Danforth, Chris Thomlinson
Venue:ACM Computing Surveys