Type theories and object-oriented programmimg (1988)

by Scott Danforth, Chris Tomlinson
Venue:ACM Comput. Surv