| 2009 |
|---|
| 62 | EE | 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 |
| 61 | EE | Roberto M. Amadio,
Giuseppe Castagna,
Andrea Asperti:
Preface.
Inf. Comput. 207(5): 543-544 (2009) |
| 2008 |
|---|
| 60 | EE | Giuseppe Castagna,
Kim Nguyen:
Typed iterators for XML.
ICFP 2008: 15-26 |
| 59 | EE | Giuseppe Castagna,
Kim Nguyen:
Typed Iterators for XML.
PLAN-X 2008 |
| 58 | EE | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A theory of contracts for web services.
POPL 2008: 261-272 |
| 57 | EE | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by example: type-driven visual programming of XML queries.
PPDP 2008: 131-142 |
| 56 | EE | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.
J. ACM 55(4): (2008) |
| 55 | EE | Giuseppe Castagna,
Rocco De Nicola,
Daniele Varacca:
Semantic subtyping for the pi-calculus.
Theor. Comput. Sci. 398(1-3): 217-242 (2008) |
| 2007 |
|---|
| 54 | | Véronique Benzaken,
Giuseppe Castagna,
Dario Colazzo,
Cédric Miachon:
Pattern by Example: type-driven visual programming of XML queries.
BDA 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 |
