Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance
No abstract available.
DOI 10.1007/978-3-642-25379-9_20
Related papers
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding ECOOP 2018
- A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance OOPSLA 1989
- Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance APLAS 2013
- A mechanized semantics for C++ object construction and destruction, with applications to resource management POPL 2012
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance OOPSLA 2011
- CZ: multiple inheritance without diamonds OOPSLA 2009
- Polymorphic symmetric multiple dispatch with variance POPL 2019
- Bidirectional Object Layout for Separate Compilation OOPSLA 1995