Paper Info
Title
Exact type parameterization and ThisType support
Abstract
We propose language support for binary methods and generic factory methods using ThisType. We present three new language features: (1) exact type capture which relaxes the restriction of earlier static approaches to binary methods that the run-time type of a binary method's receiver should be statically fixed, (2) named wildcards which allow more binary method invocations and more precise typing results, and (3) virtual constructors which support method definitions with return types of ThisType. We formalize these features with a core calculus CoreThisJava and prove its type soundness, exact type match and algorithmic subtyping. A modified notion of ThisType and exact type parameterization with bidirectional F-bound property form the basis of the above features. We also show that "inheritance makes subtypes" with our notion of ThisType and existential types as object types.
Year
DOI
Venue
2012
10.1145/2103786.2103790
TLDI
Keywords
Field
DocType
exact type parameterization,exact type match,binary method invocation,type soundness,binary method,return type,existential type,exact type capture,thistype support,run-time type,object type,object oriented language,object oriented languages
Programming language,Object-oriented programming,Parametrization,Wildcard character,Object type,Computer science,Theoretical computer science,Constructed language,Soundness,Subtyping,Binary number
Conference
Citations 
PageRank 
References 
3
0.42
19
Authors
3
Name
Order
Citations
PageRank
Hyunik Na181.56
Sukyoung Ryu218525.77
Kwang-Moo Choe313416.38