The following pages link to Betti Venneri (Q553898):
Displayed 23 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)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- (Q1575156) (redirect page) (← links)
- Types for access control (Q1575157) (← links)
- Data-driven adaptation for smart sessions (Q2360650) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- (Q2848695) (← links)
- Partial Types and Intervals (Q3474631) (← links)
- Session and Union Types for Object Oriented Programming (Q3507395) (← links)
- (Q3816050) (← links)
- Functional Characters of Solvable Terms (Q3936713) (← links)
- Intersection Types as Logical Formulae (Q4291035) (← links)
- (Q4585064) (← links)
- (Q4673425) (← links)
- (Q4738173) (← links)
- Hyperformulae, Parallel Deductions and Intersection Types (Q4916178) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Coordination Models and Languages (Q5717739) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
- Intersection types in Java: back to the future (Q6165811) (← links)