The following pages link to Giuseppe Castagna (Q930880):
Displaying 13 items.
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\) (Q1392284) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- A calculus for overloaded functions with subtyping (Q1891168) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- The seal calculus (Q2566220) (← links)
- An overview of Boxed Ambients (Q2841270) (← links)
- On Global Types and Multi-Party Session (Q2881091) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- A theory of contracts for web services (Q3189845) (← links)
- (Q5091145) (← links)
