F&<=: integrating parametric and "ad hoc" second order polymorphism. - Giuseppe Castagna (DBPL, 1993)

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. - Giuseppe Castagna; Giorgio Ghelli; Giuseppe Longo (TLCA, 1993)

Overloading, subtyping and late binding - functional foundation of object-oriented programming. - Giuseppe Castagna (1994)

Decidable Bounded Quantification. - Giuseppe Castagna; Benjamin C. Pierce (POPL, 1994)

A proposal for making 02 more type-safe. - Giuseppe Castagna (BDA, 1995)

Corrigendum: Decidable Bounded Quantification. - Giuseppe Castagna; Benjamin C. Pierce (POPL, 1995)

Foundation of Object-Oriented Languages, 2nd Workshop Report. - Giuseppe Castagna; Gary T. Leavens (ACM SIGPLAN Notices, 1995)

On Binary Methods. - Kim B. Bruce; Luca Cardelli; Giuseppe Castagna; Jonathan Eifrig; Scott F. Smith 001; Valery Trifonov; Gary T. Leavens; Benjamin C. Pierce (Theory Pract. Object Syst., 1995)

A Meta-Language for Typed Object-Oriented Languages. - Giuseppe Castagna (Theor. Comput. Sci., 1995)

Covariance and Contravariance: Conflict without a Cause. - Giuseppe Castagna (ACM Trans. Program. Lang. Syst., 1995)

A Calculus for Overloaded Functions with Subtyping - Giuseppe Castagna; Giorgio Ghelli; Giuseppe Longo (Inf. Comput., 1995)

A Typed Lambda Calculus of Objects (Extended Abstract). - Luigi Liquori; Giuseppe Castagna (ASIAN, 1996)

Type-Safe Compilation of Covariant Specialization: A Practical Case. - John Boyland; Giuseppe Castagna (ECOOP, 1996)

Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. - Giuseppe Castagna (Formal Aspects Comput., 1996)

Parasitic Methods: An Implementation of Multi-Methods for Java. - John Boyland; Giuseppe Castagna (OOPSLA, 1997)

Unifying Overloading and lambda-Abstraction: lambda{}. - Giuseppe Castagna (Theor. Comput. Sci., 1997)

Seal: A Framework for Secure Mobile Computations. - Jan Vitek; Giuseppe Castagna (ICCL Workshop: Internet Programming Languages, 1998)

Typed Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2000)

Reasoning about Security in Mobile Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (CONCUR, 2001)

Typing Mobility in the Seal Calculus. - Giuseppe Castagna; Giorgio Ghelli; Francesco Zappa Nardelli (CONCUR, 2001)

Subtyping and Matching for Mobile Objects. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ICTCS, 2001)

Secure safe ambients. - Michele Bugliesi; Giuseppe Castagna (POPL, 2001)

Boxed Ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (TACS, 2001)

An overview of Boxed Ambients. - Giuseppe Castagna; Michele Bugliesi; Silvia Crafa (TOSCA, 2001)

Dependent Types with Subtyping and Late-Bound Overloading. - Giuseppe Castagna; Gang Chen (Inf. Comput., 2001)

A Survey of Name-Passing Calculi and Crypto-Primitives. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa; Riccardo Focardi; Vladimiro Sassone (FOSAD, 2002)

The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. - Giuseppe Castagna; Francesco Zappa Nardelli (FSTTCS, 2002)

Semantic Subtyping. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (LICS, 2002)

Behavioural typing for safe ambients. - Michele Bugliesi; Giuseppe Castagna (Comput. Lang. Syst. Struct., 2002)

Information Flow Security for Boxed Ambients. - Silvia Crafa; Michele Bugliesi; Giuseppe Castagna (F-WAN@ICALP, 2002)

Seventh International Workshop on Foundations of Object-Oriented Languages. - Giuseppe Castagna; Adriana B. Compagnoni (Inf. Comput., 2002)

Information Flow Security for XML Transformations. - Véronique Benzaken; Marwan Burelle; Giuseppe Castagna (ASIAN, 2003)

CDuce: an XML-centric general-purpose language. - Véronique Benzaken; Giuseppe Castagna; Alain Frisch (ICFP, 2003)

CQL: a pattern-based query language for XML. - Véronique Benzaken; Giuseppe Castagna; Cédric Miachon (BDA, 2004)

Access control for mobile agents: The calculus of boxed ambients. - Michele Bugliesi; Giuseppe Castagna; Silvia Crafa (ACM Trans. Program. Lang. Syst., 2004)

A Gentle Introduction to Semantic Subtyping. - Giuseppe Castagna; Alain Frisch (ICALP, 2005)

Semantic Subtyping: Challenges, Perspectives, and Open Problems. - Giuseppe Castagna (ICTCS, 2005)

Error Mining for Regular Expression Patterns. - Giuseppe Castagna; Dario Colazzo; Alain Frisch (ICTCS, 2005)

Semantic Subtyping for the p-Calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (LICS, 2005)

A Full Pattern-Based Paradigm for XML Query Processing. - Véronique Benzaken; Giuseppe Castagna; Cédric Miachon (PADL, 2005)

Patterns and Types for Querying XML Documents. - Giuseppe Castagna (XSym, 2005)

The Seal Calculus. - Giuseppe Castagna; Jan Vitek; Francesco Zappa Nardelli (Inf. Comput., 2005)

Encoding CDuce in the Cpi-Calculus. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Daniele Varacca (CONCUR, 2006)

Type-Based XML Projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (VLDB, 2006)

A Formal Account of Contracts for Web Services. - Samuele Carpineti; Giuseppe Castagna; Cosimo Laneve; Luca Padovani (WS-FM, 2006)

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. - Andrew Phillips; Luca Cardelli; Giuseppe Castagna (Trans. Comp. Sys. Biology, 2006)

Typed Iterators for XML. - Giuseppe Castagna; Kim Nguyen 001 (PLAN-X, 2008)

Pattern by example: type-driven visual programming of XML queries. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Cédric Miachon (PPDP, 2008)

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (J. ACM, 2008)

Semantic subtyping for the pi-calculus. - Giuseppe Castagna; Rocco De Nicola; Daniele Varacca (Theor. Comput. Sci., 2008)

Contracts for Mobile Processes. - Giuseppe Castagna; Luca Padovani (CONCUR, 2009)

Foundations of session types. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2009)

Preface. - Roberto M. Amadio; Giuseppe Castagna; Andrea Asperti (Inf. Comput., 2009)

A theory of contracts for Web services. - Giuseppe Castagna; Nils Gesbert; Luca Padovani (ACM Trans. Program. Lang. Syst., 2009)

Parametric polymorphism for XML. - Haruo Hosoya; Alain Frisch; Giuseppe Castagna (ACM Trans. Program. Lang. Syst., 2009)

XML Typechecking. - Véronique Benzaken; Giuseppe Castagna; Haruo Hosoya; Benjamin C. Pierce; Stijn Vansummeren (Encyclopedia of Database Systems, 2009)

Preface. - John Tang Boyland; Giuseppe Castagna (Theor. Comput. Sci., 2010)

On Global Types and Multi-party Sessions. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (FMOODS/FORTE, 2011)

Set-theoretic foundation of parametric polymorphism and subtyping. - Giuseppe Castagna; Zhiwu Xu 001 (ICFP, 2011)

On Global Types and Multi-Party Session - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (Log. Methods Comput. Sci., 2012)

Static and dynamic semantics of NoSQL languages. - Véronique Benzaken; Giuseppe Castagna; Kim Nguyen 001; Jérôme Siméon (POPL, 2013)

Optimizing XML querying using type-based document projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (ACM Trans. Database Syst., 2013)

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Hyeonseung Im; Sergueï Lenglet; Luca Padovani (POPL, 2014)

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. - Giuseppe Castagna; Hyeonseung Im; Kim Nguyen 001; Véronique Benzaken (ESOP, 2015)

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Pietro Abate (POPL, 2015)

Set-theoretic types for polymorphic variants. - Giuseppe Castagna; Tommaso Petrucciani; Kim Nguyen 001 (ICFP, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Gradual typing with union and intersection types. - Giuseppe Castagna; Victor Lanvin (Proc. ACM Program. Lang., 2017)

Semantic Subtyping for Non-Strict Languages. - Tommaso Petrucciani; Giuseppe Castagna; Davide Ancona; Elena Zucca (TYPES, 2018)

Language-Integrated Queries: a BOLDR Approach. - Véronique Benzaken; Giuseppe Castagna; Laurent Daynès; Julien Lopez; Kim Nguyen 001; Romain Vernoux (WWW (Companion Volume), 2018)

XML Typechecking. - Véronique Benzaken; Giuseppe Castagna; Haruo Hosoya; Benjamin C. Pierce; Stijn Vansummeren (Encyclopedia of Database Systems (2nd ed.), 2018)

A space-efficient call-by-value virtual machine for gradual set-theoretic types. - Giuseppe Castagna; Guillaume Duboc; Victor Lanvin; Jeremy G. Siek (IFL, 2019)

Foundations of Session Types: 10 Years Later. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2019)

Gradual typing: a new perspective. - Giuseppe Castagna; Victor Lanvin; Tommaso Petrucciani; Jeremy G. Siek (Proc. ACM Program. Lang., 2019)

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). - Giuseppe Castagna (Log. Methods Comput. Sci., 2020)

Programming with union, intersection, and negation types. - Giuseppe Castagna (CoRR, 2021)

On type-cases, union elimination, and occurrence typing. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001; Matthew Lutze (Proc. ACM Program. Lang., 2022)

Revisiting occurrence typing. - Giuseppe Castagna; Victor Lanvin; Mickaël Laurent; Kim Nguyen 001 (Sci. Comput. Program., 2022)

Typing Records, Maps, and Structs. - Giuseppe Castagna (Proc. ACM Program. Lang., 2023)

Programming with Union, Intersection, and Negation Types. - Giuseppe Castagna (The French School of Programming, 2024)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir. - Giuseppe Castagna; Guillaume Duboc (CoRR, 2024)

The Design Principles of the Elixir Type System. - Giuseppe Castagna; Guillaume Duboc; José Valim (Art Sci. Eng. Program., 2024)

Polymorphic Type Inference for Dynamic Languages. - Giuseppe Castagna; Mickaël Laurent; Kim Nguyen 001 (Proc. ACM Program. Lang., 2024)

Polymorphic Records for Dynamic Languages. - Giuseppe Castagna; Loïc Peyrot (Proc. ACM Program. Lang., 2025)