FOOL 2005 START ConferenceManager    

Wild FJ

Mads Torgersen, Erik Ernst, and Christian Plesner Hansen

Presented at Foundations of Object-Oriented Languages (FOOL 2005), Long Beach, California (in conjunction with POPL), Saturday 15 January 2005


This paper presents a formalization of wildcards, which is one of the new features of the Java programming language in version JDK5.0. Wildcards help alleviating the impedance mismatch between generics, or parametric polymorphism, and traditional object-oriented subtype polymorphism. They do this by quantifying over parameterized types with different type arguments. Wildcards take inspiration from several sources including use-site variance, and they could be considered as a way to introduce a syntactically light-weight and not fully general kind of existential types into a main-stream language. This formalization describes the approach, in particular the wildcard capture process where the existential nature of wildcards becomes evident.


START Conference Manager (V2.47.9)