Adding Type Constructor Parameterization to Java

By: Vincent Cremet, Philippe Altherr


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

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact