Static Virtual Types in Java Layers

  • Authors:
  • Richard Cardone;Calvin Lin

  • Affiliations:
  • -;-

  • Venue:
  • Static Virtual Types in Java Layers
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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, object-oriented language. Though our discussion is couched in terms of Java Layers, the design can be used in more general settings.