ThisJava: An Extension of Java with Exact Types
No abstract available.
Related papers
- ThisType for Object-Oriented Languages: From Theory to Practice TOPLAS 2016
- Lazy Computation with Exact Real Numbers ICFP 1998
- Sound and robust solid modeling via exact real arithmetic and continuity ICFP 2019
- The jastadd extensible java compiler OOPSLA 2007
- Whiteoak: introducing structural typing into java OOPSLA 2008
- Do developers benefit from generic types?: an empirical comparison of generic and raw types in java OOPSLA 2013
- Extensible programming with first-class cases ICFP 2006
- Parameterized Types for Java POPL 1997