Adding Type Constructor Parameterization to Java
By: Vincent Cremet, Philippe Altherr
Abstract
The papers presents a generalization of Java's parametric polymorphism that enables parameterization of classes and methods by type constructors, i.e., functions from types to types. Our extension is formalized as a calculus called FGJω. It is implemented in a prototype compiler and its type system is proven safe and decidable.
Cite as:
Vincent Cremet, Philippe Altherr, “Adding Type Constructor Parameterization to Java”, Journal of Object Technology, Volume 7, no. 5 (June 2008), pp. 25-65, doi:10.5381/jot.2008.7.5.a2.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn