Type Theories and Object-Oriented Programming.

Scott Danforth Chris Tomlinson Type Theories and Object-Oriented Programming. 29-72 1988 20 ACM Comput. Surv. 1 db/journals/csur/csur20.html#DanforthT88