Rupiah : Towards an Expressive Static Type System for Java

@inproceedings{Rura2001RupiahT,
  title={Rupiah : Towards an Expressive Static Type System for Java},
  author={Shimon Rura},
  year={2001}
}
Despite Java’s popularity, several practical limitations imposed by the language’s type system have become increasingly apparent in recent years. A particularly glaring omission is the lack of a generic mechanism. As a result of this shortcoming, many recent projects have extended Java to support polymorphism in the style of C++ templates or Ada generics. One project, GJ [BOSW98], adds F-bounded parametric polymorphism [CCH+89] to Java via a homogeneous translation (such that only one class… CONTINUE READING