Precise Constraint-Based Type Inference for Java
No abstract available.
DOI 10.1007/3-540-45337-7_6
Related papers
- Global Type Inference for Featherweight Generic Java ECOOP 2022
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- Precise inference of expressive units of measurement types OOPSLA 2020
- Data flow refinement type inference POPL 2021
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005
- Pragmatic Subtyping in Polymorphic Languages ICFP 1998
- Constraint-based termination analysis of logic programs TOPLAS 1999
- Fault-safe code motion for type-safe languages CGO 2008