We propose ThisJava, an extension of Java-like programming languages with exact class types and This types, to support more useful methods with more precise types. To realize the proposed approach, we provide an opensource prototype implementation of the language and show its practicality and backward compatibility.We believe that our system elucidates the long pursuit of an object-oriented language with "This types."
['Hyunik Na', 'Sukyoung Ryu']
ThisJava: An Extension of Java with Exact Types