The Use of Overloading in Java Programs
No abstract available.
Related papers
- Principal typings for Java-like languages POPL 2004
- A theory of overloading ICFP 2002
- Parametric Overloading in Polymorphic Programming Languages ESOP 1988
- Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants CPP 2015
- A theory of overloading TOPLAS 2005
- Safe Run-time Overloading POPL 1990
- The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking OOPSLA 2025
- On Automatic Class Insertion with Overloading OOPSLA 1996