Giuseppe Castagna

From MaRDI portal
Person:930880

Available identifiers

zbMath Open castagna.giuseppeDBLPc/GiuseppeCastagnaWikidataQ102289431 ScholiaQ102289431MaRDI QIDQ930880

List of research outcomes





PublicationDate of PublicationType
A typed lambda calculus of objects (extended abstract)2024-06-21Paper
https://portal.mardi4nfdi.de/entity/Q50911452022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q52163072020-02-17Paper
Parametric polymorphism for XML2017-07-14Paper
Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction2016-09-29Paper
A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches2016-04-26Paper
Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types2015-11-11Paper
CDuce: an XML-centric general-purpose language2015-07-02Paper
Secure safe ambients2015-03-17Paper
Set-theoretic foundation of parametric polymorphism and subtyping2015-03-05Paper
A theory of contracts for web services2014-09-12Paper
An overview of boxed ambients (abstract)2013-07-24Paper
On global types and multi-party sessions2012-04-03Paper
Contracts for Mobile Processes2009-10-22Paper
Foundations of Security Analysis and Design II2009-05-14Paper
Semantic subtyping for the pi-calculus2008-06-24Paper
Encoding ℂDuce in the ℂπ-Calculus2007-09-04Paper
Theoretical Computer Science2006-11-01Paper
Theoretical Computer Science2006-11-01Paper
Database Programming Languages2006-10-20Paper
Automata, Languages and Programming2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q57144322006-01-02Paper
The seal calculus2005-09-22Paper
https://portal.mardi4nfdi.de/entity/Q44483682004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q44152462003-07-28Paper
Behavioural typing for safe ambients2003-05-04Paper
https://portal.mardi4nfdi.de/entity/Q47918322003-02-03Paper
https://portal.mardi4nfdi.de/entity/Q47918312003-02-03Paper
Dependent types with subtyping and late-bound overloading2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45366242002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42684631999-10-31Paper
Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)1998-07-23Paper
https://portal.mardi4nfdi.de/entity/Q43354201997-04-29Paper
A meta-language for typed object-oriented languages1997-02-27Paper
Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping1996-12-11Paper
A calculus for overloaded functions with subtyping1995-08-27Paper
https://portal.mardi4nfdi.de/entity/Q42814681994-10-19Paper

Research outcomes over time

This page was built for person: Giuseppe Castagna