A unifying type-theoretic framework for objects (1995)

by Martin Hofmann, Benjamin C Pierce
Venue:Journal of Functional Programming