Giuseppe Castagna

	2012
74		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-Party Session Logical Methods in Computer Science 8(1): (2012)
	2011
73		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28
72		Giuseppe Castagna, Zhiwu Xu: Set-theoretic foundation of parametric polymorphism and subtyping. ICFP 2011: 94-106
71		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Optimizing XML querying using type-based document projection CoRR abs/1104.2079: (2011)
	2010
70		John Tang Boyland, Giuseppe Castagna: Preface. Theor. Comput. Sci. 411(51-52): 4357 (2010)
	2009
69		Giuseppe Castagna: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Springer 2009
68		Giuseppe Castagna, Luca Padovani: Contracts for Mobile Processes. CONCUR 2009: 211-228
67		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani: Foundations of session types. PPDP 2009: 219-230
66		Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren: XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650
65		Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31(5): (2009)
64		Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32(1): (2009)
63		Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti: Preface. Inf. Comput. 207(5): 543-544 (2009)
	2008
62		Giuseppe Castagna, Kim Nguyen: Typed iterators for XML. ICFP 2008: 15-26
61		Giuseppe Castagna, Kim Nguyen: Typed Iterators for XML. PLAN-X 2008
60		Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for web services. POPL 2008: 261-272
59		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142
58		Alain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4): (2008)
57		Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008)
	2007
56		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon: Pattern by Example: type-driven visual programming of XML queries. BDA 2007
55		Giuseppe Castagna, Nils Gesbert, Luca Padovani: A Theory of Contracts for Web Services. PLAN-X 2007: 37-48
	2006
54		Giuseppe Castagna, Mukund Raghavachari: PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006 BRICS, Department of Computer Science, University of Aarhus 2006
53		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. BDA 2006
52		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
51		Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen: Type-Based XML Projection. VLDB 2006: 271-282
50		Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162
49		Andrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. T. Comp. Sys. Biology: 123-152 (2006)
	2005
48		Giuseppe Castagna: Patterns and Types for Querying XML Documents. DBPL 2005: 1-26
47		Giuseppe Castagna, Alain Frisch: A Gentle Introduction to Semantic Subtyping. ICALP 2005: 30-34
46		Giuseppe Castagna: Semantic Subtyping: Challenges, Perspectives, and Open Problems. ICTCS 2005: 1-20
45		Giuseppe Castagna, Dario Colazzo, Alain Frisch: Error Mining for Regular Expression Patterns. ICTCS 2005: 160-172
44		Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
43		Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252
42		Haruo Hosoya, Alain Frisch, Giuseppe Castagna: Parametric polymorphism for XML. POPL 2005: 50-62
41		Giuseppe Castagna, Alain Frisch: A gentle introduction to semantic subtyping. PPDP 2005: 198-199
40		Giuseppe Castagna: Patterns and Types for Querying XML Documents. XSym 2005: 1-3
39		Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli: The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005)
	2004
38		Véronique Benzaken, Giuseppe Castagna, Cédric Miachon: CQL: a pattern-based query language for XML. BDA 2004: 469-490
37		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004)
	2003
36		Véronique Benzaken, Marwan Burelle, Giuseppe Castagna: Information Flow Security for XML Transformations. ASIAN 2003: 33-53
35		Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63
34		Véronique Benzaken, Giuseppe Castagna, Alain Frisch: CDuce: an XML-centric general-purpose language. SIGPLAN Notices 38(9): 51-63 (2003)
	2002
33		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
32		Giuseppe Castagna, Francesco Zappa Nardelli: The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS 2002: 85-96
31		Alain Frisch, Giuseppe Castagna, Véronique Benzaken: Semantic Subtyping. LICS 2002: 137-146
30		Michele Bugliesi, Giuseppe Castagna: Behavioural typing for safe ambients. Comput. Lang. 28(1): 61-99 (2002)
29		Silvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 76-97 (2002)
28		Giuseppe Castagna, Adriana B. Compagnoni: Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002)
	2001
27		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
26		Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli: Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101
25		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
24		Michele Bugliesi, Giuseppe Castagna: Secure safe ambients. POPL 2001: 222-235
23		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Boxed Ambients. TACS 2001: 38-63
22		Giuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: 1-6 (2001)
21		Giuseppe Castagna, Gang Chen: Dependent Types with Subtyping and Late-Bound Overloading. Inf. Comput. 168(1): 1-67 (2001)
	2000
20		Michele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. CONCUR 2000: 504-520
	1998
19		Jan Vitek, Giuseppe Castagna: Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages 1998: 47-77
	1997
18		John Boyland, Giuseppe Castagna: Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA 1997: 66-76
17		Giuseppe Castagna: Unifying Overloading and lambda-Abstraction: lambda{}. Theor. Comput. Sci. 176(1-2): 337-345 (1997)
	1996
16		Luigi Liquori, Giuseppe Castagna: A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141
15		John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25
14		Giuseppe Castagna: Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. Formal Asp. Comput. 8(3): 247-293 (1996)
	1995
13		Giuseppe Castagna: A proposal for making 02 more type-safe. BDA 1995: 61-
12		Giuseppe Castagna, Benjamin C. Pierce: Corrigendum: Decidable Bounded Quantification. POPL 1995: 408
11		Giuseppe Castagna: Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst. 17(3): 431-447 (1995)
10		Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping Inf. Comput. 117(1): 115-135 (1995)
9		Giuseppe Castagna, Gary T. Leavens: Foundation of Object-Oriented Languages, 2nd Workshop Report. SIGPLAN Notices 30(2): 5-11 (1995)
8		Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
7		Giuseppe Castagna: A Meta-Language for Typed Object-Oriented Languages. Theor. Comput. Sci. 151(2): 297-352 (1995)
	1994
6		Giuseppe Castagna, Benjamin C. Pierce: Decidable Bounded Quantification. POPL 1994: 151-162
5		Giuseppe Castagna: Overloading, subtyping and late binding - functional foundation of object-oriented programming. LIENS Paris 1994: 1-373
	1993
4		Giuseppe Castagna: F&<=: integrating parametric and "ad hoc" second order polymorphism. DBPL 1993: 338-358
3		Giuseppe Castagna: A Meta-Language for Typed Object-Oriented Languages. FSTTCS 1993: 52-71
2		Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123
	1992
1		Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192

Coauthor Index

1	Roberto M. Amadio	[63]
2	Andrea Asperti	[63]
3	Véronique Benzaken	[31] [34] [35] [36] [38] [43] [51] [53] [56] [58] [59] [66] [71]
4	John Tang Boyland (John Boyland)	[15] [18] [70]
5	Kim B. Bruce	[8]
6	Michele Bugliesi	[20] [22] [23] [24] [25] [27] [29] [30] [33] [37]
7	Marwan Burelle	[36]
8	Luca Cardelli	[8] [49]
9	Samuele Carpineti	[50]
10	Gang Chen	[21]
11	Dario Colazzo	[45] [51] [53] [56] [59] [71]
12	Adriana B. Compagnoni	[28]
13	Silvia Crafa	[20] [22] [23] [25] [27] [29] [33] [37]
14	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[52] [67] [73] [74]
15	Jonathan Eifrig	[8]
16	Riccardo Focardi	[33]
17	Alain Frisch	[31] [34] [35] [41] [42] [45] [47] [58] [64]
18	Nils Gesbert	[55] [60] [65]
19	Giorgio Ghelli	[1] [2] [10] [26]
20	Elena Giachino	[67]
21	Haruo Hosoya	[42] [64] [66]
22	Cosimo Laneve	[50]
23	Gary T. Leavens	[8] [9]
24	Luigi Liquori	[16]
25	Giuseppe Longo	[1] [2] [10]
26	Cédric Miachon	[38] [43] [56] [59]
27	Francesco Zappa Nardelli	[26] [32] [39]
28	Kim Nguyen	[51] [53] [61] [62] [71]
29	Rocco De Nicola	[44] [57]
30	Luca Padovani	[50] [55] [60] [65] [67] [68] [73] [74]
31	Andrew Phillips	[49]
32	Benjamin C. Pierce	[6] [8] [12] [66]
33	Mukund Raghavachari	[54]
34	Vladimiro Sassone	[33]
35	Scott F. Smith	[8]
36	Valery Trifonov	[8]
37	Stijn Vansummeren	[66]
38	Daniele Varacca	[44] [52] [57]
39	Jan Vitek	[19] [39]
40	Zhiwu Xu	[72]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page