A statically safe alternative to virtual types (1998)

by Kim B Bruce, Martin Odersky, Philip Wadler
Venue:In Proceedings of 12th European Conference on Object-Oriented Programming (ECOOP’98