Incremental Overload Resolution in Object-Oriented Programming Languages
Presented on February 28, 2019
Presenter: Sitao
Presenter: Sitao
Preview
Sitao will present “Incremental Overload Resolution in Object-Oriented Programming Languages” by Tamás Szabó et al.
Related Work
After finishing the reading group, there were a few related papers we thought looked interesting:
- IncA: a DSL for the definition of incremental program analyses by Tamás Szabó et al.
- Toward Semantic Foundations for Program Editors by Cyrus Omar et al.
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs) by Edlira Kuci et al.