Atsushi Igarashi, Benjamin C. Pierce. Foundations for Virtual Types. In Rachid Guerraoui, editor, ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1628 of Lecture Notes in Computer Science, pages 161-185, Springer, 1999. [doi]
Abstract is missing.