Giuseppe Castagna

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 22

Top Topics

Occurrence Probability

Programming Language

Pattern Matching

Top Venues

Proc. ACM Program. Lang.

LIENS Paris (PHD)

Education History

LIENS Paris

PHD

Publications

Giuseppe Castagna, Guillaume Duboc, José Valim
The Design Principles of the Elixir Type System. Art Sci. Eng. Program. 8 (2) (2024)
Giuseppe Castagna, Loïc Peyrot
Polymorphic Records for Dynamic Languages. CoRR (2024)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8 (POPL) (2024)
Giuseppe Castagna
Typing Records, Maps, and Structs. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. CoRR (2023)
Giuseppe Castagna, Guillaume Duboc, José Valim
The Design Principles of the Elixir Type System. CoRR (2023)
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
Revisiting occurrence typing. Sci. Comput. Program. 217 (2022)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze
On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6 (POPL) (2022)
Giuseppe Castagna
Programming with union, intersection, and negation types. CoRR (2021)
Giuseppe Castagna
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). Log. Methods Comput. Sci. 16 (1) (2020)
Victor Lanvin, Mickaël Laurent, Kim Nguyen, Giuseppe Castagna
Revisiting Occurrence Typing. CoRR (2019)
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3 (POPL) (2019)
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL (2019)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of Session Types: 10 Years Later. PPDP (2019)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic subtyping for non-strict languages. CoRR (2018)
Giuseppe Castagna
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). CoRR (2018)
Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux
Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic Subtyping for Non-Strict Languages. TYPES (2018)
Giuseppe Castagna, Victor Lanvin
Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-Theoretic Types for Polymorphic Variants. CoRR (2016)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-theoretic types for polymorphic variants. ICFP (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. 38 (1) (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages. POPL (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages CoRR (2013)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-Party Session Log. Methods Comput. Sci. 8 (1) (2012)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
On Global Types and Multi-party Sessions. FMOODS/FORTE (2011)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection CoRR (2011)
Giuseppe Castagna, Zhiwu Xu
Set-theoretic foundation of parametric polymorphism and subtyping. ICFP (2011)
John Tang Boyland, Giuseppe Castagna
Preface. Theor. Comput. Sci. 411 (51-52) (2010)
Giuseppe Castagna, Luca Padovani
Contracts for Mobile Processes. CONCUR (2009)
Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti
Preface. Inf. Comput. 207 (5) (2009)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
Foundations of session types. PPDP (2009)
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32 (1) (2009)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31 (5) (2009)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
Pattern by example: type-driven visual programming of XML queries. PPDP (2008)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55 (4) (2008)
Giuseppe Castagna, Kim Nguyen
Typed iterators for XML. ICFP (2008)
Giuseppe Castagna, Kim Nguyen
Typed Iterators for XML. PLAN-X (2008)
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398 (1-3) (2008)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for web services. POPL (2008)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A Theory of Contracts for Web Services. PLAN-X (2007)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
Pattern by Example: type-driven visual programming of XML queries. BDA (2007)
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. Trans. Comp. Sys. Biology 7 (2006)
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
Encoding CDuce in the Cpi-Calculus. CONCUR (2006)
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
A Formal Account of Contracts for Web Services. WS-FM (2006)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. VLDB (2006)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. BDA (2006)
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Semantic Subtyping for the p-Calculus. LICS (2005)
Giuseppe Castagna
Patterns and Types for Querying XML Documents. DBPL (2005)
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
A Full Pattern-Based Paradigm for XML Query Processing. PADL (2005)
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
Parametric polymorphism for XML. POPL (2005)
Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli
The Seal Calculus. Inf. Comput. 201 (1) (2005)
Giuseppe Castagna, Dario Colazzo, Alain Frisch
Error Mining for Regular Expression Patterns. ICTCS (2005)
Giuseppe Castagna
Semantic Subtyping: Challenges, Perspectives, and Open Problems. ICTCS (2005)
Giuseppe Castagna, Alain Frisch
A Gentle Introduction to Semantic Subtyping. ICALP (2005)
Giuseppe Castagna, Alain Frisch
A gentle introduction to semantic subtyping. PPDP (2005)
Giuseppe Castagna
Patterns and Types for Querying XML Documents. XSym (2005)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26 (1) (2004)
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
CQL: a pattern-based query language for XML. BDA (2004)
Véronique Benzaken, Giuseppe Castagna, Alain Frisch
CDuce: an XML-centric general-purpose language. ICFP (2003)
Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
Information Flow Security for XML Transformations. ASIAN (2003)
Giuseppe Castagna, Véronique Benzaken, Alain Frisch
CDuce: an XML-centric general-purpose language. SIGPLAN Notices (2003)
Giuseppe Castagna, Francesco Zappa Nardelli
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS (2002)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD (2002)
Giuseppe Castagna, Adriana B. Compagnoni
Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177 (1) (2002)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic Subtyping. LICS (2002)
Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
Information Flow Security for Boxed Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Michele Bugliesi, Giuseppe Castagna
Behavioural typing for safe ambients. Comput. Lang. Syst. Struct. 28 (1) (2002)
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
Typing Mobility in the Seal Calculus. CONCUR (2001)
Giuseppe Castagna, Gang Chen
Dependent Types with Subtyping and Late-Bound Overloading. Inf. Comput. 168 (1) (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Boxed Ambients. TACS (2001)
Michele Bugliesi, Giuseppe Castagna
Secure safe ambients. POPL (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Subtyping and Matching for Mobile Objects. ICTCS (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Reasoning about Security in Mobile Ambients. CONCUR (2001)
Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
An overview of Boxed Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Typed Mobile Objects. CONCUR (2000)
Jan Vitek, Giuseppe Castagna
Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages (1998)
John Boyland, Giuseppe Castagna
Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA (1997)
Giuseppe Castagna
. Theor. Comput. Sci. 176 (1-2) (1997)
John Boyland, Giuseppe Castagna
Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP (1996)
Giuseppe Castagna
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. Formal Aspects Comput. 8 (3) (1996)
Luigi Liquori, Giuseppe Castagna
A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN (1996)
Giuseppe Castagna, Benjamin C. Pierce
Corrigendum: Decidable Bounded Quantification. POPL (1995)
Giuseppe Castagna
A proposal for making 02 more type-safe. BDA (1995)
Giuseppe Castagna
Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst. 17 (3) (1995)
Giuseppe Castagna, Gary T. Leavens
Foundation of Object-Oriented Languages, 2nd Workshop Report. ACM SIGPLAN Notices 30 (2) (1995)
Giuseppe Castagna
A Meta-Language for Typed Object-Oriented Languages. Theor. Comput. Sci. 151 (2) (1995)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Calculus for Overloaded Functions with Subtyping Inf. Comput. 117 (1) (1995)
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
On Binary Methods. Theory Pract. Object Syst. 1 (3) (1995)
Giuseppe Castagna, Benjamin C. Pierce
Decidable Bounded Quantification. POPL (1994)
Giuseppe Castagna
: integrating parametric and "ad hoc" second order polymorphism. DBPL (1993)
Giuseppe Castagna
A Meta-Language for Typed Object-Oriented Languages. FSTTCS (1993)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA (1993)
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming (1992)