The following pages link to Betti Venneri (Q553898):
Displaying 4 items.
- Delegation by object composition (Q553899) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
