Giuseppe Castagna

Available identifiers

zbMath Open castagna.giuseppeWikidataQ102289431 ScholiaQ102289431MaRDI QIDQ930880

List of research outcomes

Publication	Date of Publication	Type
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
Semantic subtyping	2015-11-11	Paper
CDuce	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	2013-07-24	Paper
On Global Types and Multi-Party Session	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/Q4791831	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4791832	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giuseppe Castagna