Output details
11 - Computer Science and Informatics
Imperial College London
A model for Java with wildcards
<10>Acceptance: 19.5%/138. Wildcards are a complex part of Java types, since V5.0. Previously, no system that included all key aspects of Java wildcards had been proven type sound. This paper formulates wildcards as a form of type sound, existential types and leads to further uses of existential types in programming language design, as development of existential owners (ESOP’09), existential owners and multiple owners (FOOL 2010 ), a more fundamental model of Ownership types (Springer LNCS 7580, 2013 http://link.springer.com/chapter/10.1007/978-3-642-36946-9_5). Others have proposed variants of wildcards (PLDI'11, ECOOP12). New Zealand Marsden scholarship awarded based on this work