The following pages link to Lorenzo Bettini (Q553896):
Displaying 24 items.
- Delegation by object composition (Q553899) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Combining traits with boxes and ownership types in a Java-like setting (Q1951635) (← links)
- Compositional type checking of delta-oriented software product lines (Q2376980) (← links)
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- (Q2848695) (← links)
- Session and Union Types for Object Oriented Programming (Q3507395) (← links)
- Global Progress in Dynamically Interleaved Multiparty Sessions (Q3541035) (← links)
- (Q4413746) (← links)
- (Q4585064) (← links)
- (Q4673425) (← links)
- (Q4736000) (← links)
- (Q4738173) (← links)
- (Q4738174) (← links)
- Klava: a Java package for distributed and mobile applications (Q4791126) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
- Theoretical Computer Science (Q5395067) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Types for Proofs and Programs (Q5712323) (← links)
- Coordination Models and Languages (Q5717739) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
