Static Virtual Types in Java Layers
Richard Cardone, Calvin Lin · 2000
This specification describes how a simple, static form of virtual typing can be implemented in a parametrically polymorphic version of Java. We discuss the need for virtual types and the tradeoffs of integrating virtual types into a statically typed, objectoriented language. Though our discussion is couched in terms of Java Layers, the design canbeusedinmoregeneralsettings. 1