- RDP'07 -General Information Conservatoire National des Arts et Metiers -CNAM
- Contracts for Mobile Processes Giuseppe Castagna1 and Luca Padovani2
- A Survey of Name-Passing Calculi and Crypto-Primitives
- Patterns and Types for Querying XML Documents Giuseppe Castagna
- Covariance and Contravariance: Con ict without a Cause
- Typed Iterators for XML Giuseppe Castagna
- Publications by Giuseppe Castagna. [1] G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer
- Secure Safe Ambients Michele Bugliesi
- Pattern by Example: Type-driven Visual Programming of XML Queries
- Information and Computation 201 (2005) 154 www.elsevier.com/locate/ic
- Type-Safe Compilation of Covariant Specialization: A Practical Case
- Behavioural Typing for Safe Ambients Michele Bugliesi
- Typing mobility in the Seal Calculus Giuseppe Castagna1
- Parasitic Methods: An Implementation of Multi-Methods for Java
- Formal Aspects of Computing (1995) : To appear Integration of parametric and \ad hoc"
- Unifying overloading and -abstraction: fg Giuseppe Castagna
- Set-theoretic Foundation of Parametric Polymorphism and Subtyping
- Duce: An XML-Centric General-Purpose Language Vronique Benzaken
- Semantic Subtyping Alain Frisch
- Parametric Polymorphism for XML HARUO HOSOYA
- XML TYPECHECKING Veronique Benzaken
- Foundation of Session Types (extended abstract) Giuseppe Castagna1
- A Graphical Representation for Biological Processes in the Stochastic pi-calculus
- A formal account of contracts for Web services S. Carpineti1
- A Typed Lambda Calculus of Objects (Extended Abstract)
- Reasoning about Security in Mobile Ambients ? Michele Bugliesi1
- A Gentle Introduction to Semantic Subtyping Giuseppe Castagna
- A Theory of Contracts for Web Services Giuseppe Castagna
- Foundation of Session Types Giuseppe Castagna1 Mariangiola Dezani-Ciancaglini2 Elena Giachino1,2 Luca Padovani3
- A Theory of Contracts for Web Services Giuseppe Castagna
- Semantic subtyping for the pi-calculus Giuseppe Castagna a Rocco De Nicola b Daniele Varacca a
- Access control for mobile agents: the calculus of Boxed Ambients
- Dependent types with subtyping and late-bound overloading
- On Binary Methods Department of Computer Science, Williams College, Williamstown, Massachusetts 01267, USA.
- A Calculus for Overloaded Functions with Subtyping Giuseppe Castagna y
- Type-Based XML Projection Vronique Benzaken1 Giuseppe Castagna2 Dario Colazzo1 Kim Nguyn1
- Encoding CDuce in the C-Calculus Giuseppe Castagna1, Mariangiola Dezani-Ciancaglini2, and Daniele Varacca3
- Semantic subtyping: challenges, perspectives, and open problems
- Error Mining for Regular Expression Patterns Giuseppe Castagna1, Dario Colazzo2, and Alain Frisch3
- Semantic subtyping for the -calculus Giuseppe Castagna Rocco De Nicola Daniele Varacca
- Parametric Polymorphism for XML Haruo Hosoya
- A Full Pattern-based Paradigm for XML Query Processing Vronique Benzaken1, Giuseppe Castagna2, and Cdric Miachon2
- Information flow security for XML transformations Vronique Benzaken
- Information Flow Security in Boxed Ambients Silvia Crafa
- Boxed Ambients ? Michele Bugliesi1
- Subtyping and Matching for Mobile Objects ? Michele Bugliesi1, Giuseppe Castagna2, and Silvia Crafa1;2
- Typed Mobile Objects? Michele Bugliesi1, Giuseppe Castagna2, and Silvia Crafa1
- fevrier 1999 { Journees Francophones des Langages Applicatifs { JFLA99 Mobile Computations
- Module Programming using Overloading and Late Binding Maria-Virginia Aponte
- TYPES ET MODLES : DES LANGAGES OBJETS SQUENTIELS
- Universite PARIS 7 OVERLOADING, SUBTYPING
- A meta-language for typed object-oriented languages
- An overview of Boxed Ambients Giuseppe Castagna 1
- A meta-language for typed object-oriented languages Giuseppe Castagna
- On Global Types and Multi-Party Sessions Giuseppe Castagna1, Mariangiola Dezani-Ciancaglini2, and Luca Padovani2
- Set-theoretic Foundation of Parametric Polymorphism and Subtyping
- Set-theoretic Foundation of Parametric Polymorphism and Subtyping
- The next 700 NoSQL languages Vronique Benzaken1 Giuseppe Castagna2 Kim Nguy~n1 Jrme Simon3
- Types intersection --Intersection types Examen final du cours MPRI 2-4 / Final exam for MPRI 2-4 course
