| 2008 |
|---|
| 55 | EE | Giuseppe Castagna,
Kim Nguyen:
Typed Iterators for XML.
PLAN-X 2008 |
| 54 | EE | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A theory of contracts for web services.
POPL 2008: 261-272 |
| 2007 |
|---|
| 53 | EE | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A Theory of Contracts for Web Services.
PLAN-X 2007: 37-48 |
| 2006 |
|---|
| 52 | EE | Giuseppe Castagna,
Mukund Raghavachari:
PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006
BRICS, Department of Computer Science, University of Aarhus 2006 |
| 51 | | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Kim Nguyen:
Type-Based XML Projection.
BDA 2006 |
| 50 | EE | Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Daniele Varacca:
Encoding CDuce in the Cpi-Calculus.
CONCUR 2006: 310-326 |
| 49 | EE | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Kim Nguyen:
Type-Based XML Projection.
VLDB 2006: 271-282 |
| 48 | EE | Samuele Carpineti,
Giuseppe Castagna,
Cosimo Laneve,
Luca Padovani:
A Formal Account of Contracts for Web Services.
WS-FM 2006: 148-162 |
| 47 | EE | 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 |
|---|
| 46 | EE | Giuseppe Castagna:
Patterns and Types for Querying XML Documents.
DBPL 2005: 1-26 |
| 45 | EE | Giuseppe Castagna,
Alain Frisch:
A Gentle Introduction to Semantic Subtyping.
ICALP 2005: 30-34 |
| 44 | EE | Giuseppe Castagna:
Semantic Subtyping: Challenges, Perspectives, and Open Problems.
ICTCS 2005: 1-20 |
| 43 | EE | Giuseppe Castagna,
Dario Colazzo,
Alain Frisch:
Error Mining for Regular Expression Patterns.
ICTCS 2005: 160-172 |
| 42 | EE | Giuseppe Castagna,
Rocco De Nicola,
Daniele Varacca:
Semantic Subtyping for the p-Calculus.
LICS 2005: 92-101 |
| 41 | EE | Véronique Benzaken,
Giuseppe Castagna,
Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing.
PADL 2005: 235-252 |
| 40 | EE | Haruo Hosoya,
Alain Frisch,
Giuseppe Castagna:
Parametric polymorphism for XML.
POPL 2005: 50-62 |
| 39 | EE | Giuseppe Castagna,
Alain Frisch:
A gentle introduction to semantic subtyping.
PPDP 2005: 198-199 |
| 38 | EE | Giuseppe Castagna:
Patterns and Types for Querying XML Documents.
XSym 2005: 1-3 |
| 37 | EE | Giuseppe Castagna,
Jan Vitek,
Francesco Zappa Nardelli:
The Seal Calculus.
Inf. Comput. 201(1): 1-54 (2005) |
| 2004 |
|---|
| 36 | | Véronique Benzaken,
Giuseppe Castagna,
Cédric Miachon:
CQL: a pattern-based query language for XML.
BDA 2004: 469-490 |
| 35 | EE | 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 |
|---|
| 34 | EE | Véronique Benzaken,
Marwan Burelle,
Giuseppe Castagna:
Information Flow Security for XML Transformations.
ASIAN 2003: 33-53 |
| 33 | EE | Véronique Benzaken,
Giuseppe Castagna,
Alain Frisch:
CDuce: an XML-centric general-purpose language.
ICFP 2003: 51-63 |
| 2002 |
|---|
| 32 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa,
Riccardo Focardi,
Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives.
FOSAD 2002: 91-138 |
| 31 | EE | Giuseppe Castagna,
Francesco Zappa Nardelli:
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.
FSTTCS 2002: 85-96 |
| 30 | EE | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic Subtyping.
LICS 2002: 137-146 |
| 29 | | Michele Bugliesi,
Giuseppe Castagna:
Behavioural typing for safe ambients.
Comput. Lang. 28(1): 61-99 (2002) |
| 28 | EE | Silvia Crafa,
Michele Bugliesi,
Giuseppe Castagna:
Information Flow Security for Boxed Ambients.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 27 | EE | Giuseppe Castagna,
Adriana B. Compagnoni:
Seventh International Workshop on Foundations of Object-Oriented Languages.
Inf. Comput. 177(1): 1 (2002) |
| 2001 |
|---|
| 26 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa:
Reasoning about Security in Mobile Ambients.
CONCUR 2001: 102-120 |
| 25 | EE | Giuseppe Castagna,
Giorgio Ghelli,
Francesco Zappa Nardelli:
Typing Mobility in the Seal Calculus.
CONCUR 2001: 82-101 |
| 24 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa:
Subtyping and Matching for Mobile Objects.
ICTCS 2001: 235-255 |
| 23 | EE | Michele Bugliesi,
Giuseppe Castagna:
Secure safe ambients.
POPL 2001: 222-235 |
| 22 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa:
Boxed Ambients.
TACS 2001: 38-63 |
| 21 | EE | Giuseppe Castagna,
Michele Bugliesi,
Silvia Crafa:
An overview of Boxed Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 20 | | Giuseppe Castagna,
Gang Chen:
Dependent Types with Subtyping and Late-Bound Overloading.
Inf. Comput. 168(1): 1-67 (2001) |
| 2000 |
|---|
| 19 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa:
Typed Mobile Objects.
CONCUR 2000: 504-520 |
| 1998 |
|---|
| 18 | EE | Jan Vitek,
Giuseppe Castagna:
Seal: A Framework for Secure Mobile Computations.
ICCL Workshop: Internet Programming Languages 1998: 47-77 |
| 1997 |
|---|
| 17 | | John Boyland,
Giuseppe Castagna:
Parasitic Methods: An Implementation of Multi-Methods for Java.
OOPSLA 1997: 66-76 |
| 16 | EE | Giuseppe Castagna:
Unifying Overloading and lambda-Abstraction: lambda{}.
Theor. Comput. Sci. 176(1-2): 337-345 (1997) |
| 1996 |
|---|
| 15 | | Luigi Liquori,
Giuseppe Castagna:
A Typed Lambda Calculus of Objects (Extended Abstract).
ASIAN 1996: 129-141 |
| 14 | EE | John Boyland,
Giuseppe Castagna:
Type-Safe Compilation of Covariant Specialization: A Practical Case.
ECOOP 1996: 3-25 |
| 13 | | 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 |
|---|
| 12 | | Giuseppe Castagna:
A proposal for making 02 more type-safe.
BDA 1995: 61- |
| 11 | | Giuseppe Castagna,
Benjamin C. Pierce:
Corrigendum: Decidable Bounded Quantification.
POPL 1995: 408 |
| 10 | EE | Giuseppe Castagna:
Covariance and Contravariance: Conflict without a Cause.
ACM Trans. Program. Lang. Syst. 17(3): 431-447 (1995) |
| 9 | | Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping
Inf. Comput. 117(1): 115-135 (1995) |
| 8 | | Giuseppe Castagna,
Gary T. Leavens:
Foundation of Object-Oriented Languages, 2nd Workshop Report.
SIGPLAN Notices 30(2): 5-11 (1995) |
| 7 | | 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) |
| 6 | EE | Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages.
Theor. Comput. Sci. 151(2): 297-352 (1995) |
| 1994 |
|---|
| 5 | | Giuseppe Castagna,
Benjamin C. Pierce:
Decidable Bounded Quantification.
POPL 1994: 151-162 |
| 1993 |
|---|
| 4 | EE | 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 | EE | Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping.
LISP and Functional Programming 1992: 182-192 |
