A Statically Safe Alternative to Virtual Types.

Kim B. Bruce, Martin Odersky, Philip Wadler

Browse the full ECOOP paper archive.