The following pages link to (Q4335420):
Displaying 10 items.
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Delegation by object composition (Q553899) (← links)
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) (Q1392284) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Modular statically typed multimethods (Q1854533) (← links)
- (Q5216307) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- A typed lambda calculus of objects (extended abstract) (Q6560358) (← links)