A statically safe alternative to virtual types (1998)

by K Bruce, M Odersky, P Wadler
Venue:European Conference for Object-Oriented Programming (ECOOP