Home | Search | Help  
Home Page Università di Genova

Seminar Details

Date 14-7-2003
Time 15:00
Room/Location 214
Title Statically Type-Safe Virtual Types in Object-Oriented Languages
Speaker Kim Bruce
Affiliation Dept. Comp. Sci., Williams College, Massachusetts
Link http://www.cs.williams.edu/~kim/
Abstract The virtual class construct was introduced in the language Beta to provide for a mechanism similar to that of parametric polymorphism. Unfortunately, the virtual class construct in Beta is not statically type-safe (though it is dynamically safe because of run-time checks). In this paper we show how a generalization of the semantics of object-oriented languages with a MyType construct led to the discovery of a variant of virtual classes which need no run-time checks. This results in an object-oriented language in which both parametric and virtual types are well-integrated, and which is statically type-safe. This is joint work with Joe Vandervaart at Carnegie Mellon University.
Back to Seminars