Giuseppe Castagna

Available identifiers

zbMath Open castagna.giuseppeDBLPc/GiuseppeCastagnaWikidataQ102289431 ScholiaQ102289431MaRDI QIDQ930880

List of research outcomes

Publication	Date of Publication	Type
A typed lambda calculus of objects (extended abstract)	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q5091145	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5216307	2020-02-17	Paper
Parametric polymorphism for XML	2017-07-14	Paper
Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction	2016-09-29	Paper
A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches	2016-04-26	Paper
Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types	2015-11-11	Paper
CDuce: an XML-centric general-purpose language	2015-07-02	Paper
Secure safe ambients	2015-03-17	Paper
Set-theoretic foundation of parametric polymorphism and subtyping	2015-03-05	Paper
A theory of contracts for web services	2014-09-12	Paper
An overview of boxed ambients (abstract)	2013-07-24	Paper
On global types and multi-party sessions	2012-04-03	Paper
Contracts for Mobile Processes	2009-10-22	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Semantic subtyping for the pi-calculus	2008-06-24	Paper
Encoding ℂDuce in the ℂπ-Calculus	2007-09-04	Paper
Theoretical Computer Science	2006-11-01	Paper
Theoretical Computer Science	2006-11-01	Paper
Database Programming Languages	2006-10-20	Paper
Automata, Languages and Programming	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5714432	2006-01-02	Paper
The seal calculus	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4448368	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4415246	2003-07-28	Paper
Behavioural typing for safe ambients	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4791832	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4791831	2003-02-03	Paper
Dependent types with subtyping and late-bound overloading	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536624	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4268463	1999-10-31	Paper
Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4335420	1997-04-29	Paper
A meta-language for typed object-oriented languages	1997-02-27	Paper
Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping	1996-12-11	Paper
A calculus for overloaded functions with subtyping	1995-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4281468	1994-10-19	Paper

Research outcomes over time

This page was built for person: Giuseppe Castagna