ThisJava: an extension of Java with exact types. 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.”

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Na, Hyunik; Ryu, Sukyoung: ThisJava: an extension of Java with exact types (2013)