Output details
11 - Computer Science and Informatics
Imperial College London
Output title
A model for Java with wildcards
Type
E - Conference contribution
Name of conference/published proceedings
22nd European Conference on Object-Oriented Programming (ECOOP 2008)
Volume number
5142
Issue number
-
First page of article
2
ISSN of proceedings
-
Year of publication
2008
URL
-
Number of additional authors
2
Additional information
<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
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming Languages and Systems
Citation count
9
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
