The following pages link to Giuseppe Castagna (Q930880):
Displaying 34 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)
- Semantic subtyping (Q3452185) (← links)
- (Q4268463) (← links)
- (Q4281468) (← links)
- (Q4335420) (← links)
- (Q4415246) (← links)
- (Q4448368) (← links)
- (Q4536624) (← links)
- (Q4791831) (← links)
- (Q4791832) (← links)
- (Q5091145) (← links)
- Set-theoretic foundation of parametric polymorphism and subtyping (Q5176966) (← links)
- Secure safe ambients (Q5178885) (← links)
- (Q5216307) (← links)
- CDuce (Q5261266) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- Theoretical Computer Science (Q5395059) (← links)
- Theoretical Computer Science (Q5395069) (← links)
- Database Programming Languages (Q5493329) (← links)
- (Q5714432) (← links)
- Automata, Languages and Programming (Q5716788) (← links)
- Encoding ℂDuce in the ℂπ-Calculus (Q5756616) (← links)
- Foundations of Security Analysis and Design II (Q5901852) (← links)
