Parameterized Types and Java

Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition an...

Full description

Bibliographic Details
Main Authors: Bank, Joseph A., Liskov, Barbara, Myers, Albert C.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149261