Giuseppe Castagna

107 papers A* 13A 9B 5C 5Journal 42Unranked 28
YearRankTypeTitle / Venue / Authors
2025 J jnl
Polymorphic Records for Dynamic Languages.
Proc. ACM Program. Lang.
Giuseppe Castagna, Loïc Peyrot
2024 J jnl
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir.
CoRR
Giuseppe Castagna, Guillaume Duboc
2024 J jnl
Polymorphic Records for Dynamic Languages.
CoRR
Giuseppe Castagna, Loïc Peyrot
2024 J jnl
Polymorphic Type Inference for Dynamic Languages.
Proc. ACM Program. Lang.
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
2024 — ch.
Programming with Union, Intersection, and Negation Types.
The French School of Programming
Giuseppe Castagna
2024 J jnl
The Design Principles of the Elixir Type System.
Art Sci. Eng. Program.
Giuseppe Castagna, Guillaume Duboc, José Valim
2023 J jnl
Polymorphic Type Inference for Dynamic Languages.
CoRR
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
2023 J jnl
The Design Principles of the Elixir Type System.
CoRR
Giuseppe Castagna, Guillaume Duboc, José Valim
2023 J jnl
Typing Records, Maps, and Structs.
Proc. ACM Program. Lang.
Giuseppe Castagna
2022 J jnl
On type-cases, union elimination, and occurrence typing.
Proc. ACM Program. Lang.
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze
2022 J jnl
Revisiting occurrence typing.
Sci. Comput. Program.
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
2021 J jnl
Programming with union, intersection, and negation types.
CoRR
Giuseppe Castagna
2020 J jnl
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers).
Log. Methods Comput. Sci.
Giuseppe Castagna
2019 — conf
A space-efficient call-by-value virtual machine for gradual set-theoretic types.
IFL
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek
2019 C conf
Foundations of Session Types: 10 Years Later.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2019 J jnl
Gradual typing: a new perspective.
Proc. ACM Program. Lang.
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek
2019 J jnl
Revisiting Occurrence Typing.
CoRR
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
2018 J jnl
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers).
CoRR
Giuseppe Castagna
2018 — conf
Language-Integrated Queries: a BOLDR Approach.
WWW (Companion Volume)
Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux
2018 — conf
Semantic Subtyping for Non-Strict Languages.
TYPES
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018 J jnl
Semantic subtyping for non-strict languages.
CoRR
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018 — ch.
XML Typechecking.
Encyclopedia of Database Systems (2nd ed.)
Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2017 J jnl
Gradual typing with union and intersection types.
Proc. ACM Program. Lang.
Giuseppe Castagna, Victor Lanvin
2017 A* ed.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
POPL
Giuseppe Castagna, Andrew D. Gordon
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2016 J jnl
Set-Theoretic Types for Polymorphic Variants.
CoRR
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
2016 A conf
Set-theoretic types for polymorphic variants.
ICFP
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
2015 A conf
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.
ESOP
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
2015 A* conf
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.
POPL
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
2014 A* conf
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
POPL
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
2013 A ed.
ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP
Giuseppe Castagna
2013 J jnl
Optimizing XML querying using type-based document projection.
ACM Trans. Database Syst.
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2013 J jnl
Static and dynamic semantics of NoSQL languages
CoRR
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
2013 A* conf
Static and dynamic semantics of NoSQL languages.
POPL
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
2012 J jnl
On Global Types and Multi-Party Session
Log. Methods Comput. Sci.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2011 — conf
On Global Types and Multi-party Sessions.
FMOODS/FORTE
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2011 J jnl
Optimizing XML querying using type-based document projection
CoRR
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2011 A conf
Set-theoretic foundation of parametric polymorphism and subtyping.
ICFP
Giuseppe Castagna, Zhiwu Xu
2010 J jnl
Preface.
Theor. Comput. Sci.
John Tang Boyland, Giuseppe Castagna
2009 J jnl
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst.
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2009 B conf
Contracts for Mobile Processes.
CONCUR
Giuseppe Castagna, Luca Padovani
2009 C conf
Foundations of session types.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2009 J jnl
Parametric polymorphism for XML.
ACM Trans. Program. Lang. Syst.
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
2009 J jnl
Preface.
Inf. Comput.
Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti
2009 A ed.
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
ESOP
Giuseppe Castagna
2009 — ch.
XML Typechecking.
Encyclopedia of Database Systems
Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
2008 A* conf
A theory of contracts for web services.
POPL
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2008 C conf
Pattern by example: type-driven visual programming of XML queries.
PPDP
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2008 J jnl
Semantic subtyping for the pi-calculus.
Theor. Comput. Sci.
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2008 J jnl
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.
J. ACM
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
2008 — conf
Typed Iterators for XML.
PLAN-X
Giuseppe Castagna, Kim Nguyen
2008 A conf
Typed iterators for XML.
ICFP
Giuseppe Castagna, Kim Nguyen
2007 — conf
A Theory of Contracts for Web Services.
PLAN-X
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2007 — conf
Pattern by Example: type-driven visual programming of XML queries.
BDA
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2006 — conf
A Formal Account of Contracts for Web Services.
WS-FM
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
2006 J jnl
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.
Trans. Comp. Sys. Biology
Andrew Phillips, Luca Cardelli, Giuseppe Castagna
2006 B conf
Encoding CDuce in the Cpi-Calculus.
CONCUR
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
2006 — ed.
PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006
PLAN-X
Giuseppe Castagna, Mukund Raghavachari
2006 — conf
Type-Based XML Projection.
BDA
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2006 A* conf
Type-Based XML Projection.
VLDB
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2005 C conf
A Full Pattern-Based Paradigm for XML Query Processing.
PADL
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
2005 A* conf
A Gentle Introduction to Semantic Subtyping.
ICALP
Giuseppe Castagna, Alain Frisch
2005 C conf
A gentle introduction to semantic subtyping.
PPDP
Giuseppe Castagna, Alain Frisch
2005 — conf
Error Mining for Regular Expression Patterns.
ICTCS
Giuseppe Castagna, Dario Colazzo, Alain Frisch
2005 A* conf
Parametric polymorphism for XML.
POPL
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
2005 — conf
Patterns and Types for Querying XML Documents.
DBPL
Giuseppe Castagna
2005 — conf
Patterns and Types for Querying XML Documents.
XSym
Giuseppe Castagna
2005 A* conf
Semantic Subtyping for the p-Calculus.
LICS
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2005 — conf
Semantic Subtyping: Challenges, Perspectives, and Open Problems.
ICTCS
Giuseppe Castagna
2005 J jnl
The Seal Calculus.
Inf. Comput.
Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli
2004 J jnl
Access control for mobile agents: The calculus of boxed ambients.
ACM Trans. Program. Lang. Syst.
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2004 — conf
CQL: a pattern-based query language for XML.
BDA
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
2003 A conf
CDuce: an XML-centric general-purpose language.
ICFP
Véronique Benzaken, Giuseppe Castagna, Alain Frisch
2003 — conf
Information Flow Security for XML Transformations.
ASIAN
Véronique Benzaken, Marwan Burelle, Giuseppe Castagna
2002 — conf
A Survey of Name-Passing Calculi and Crypto-Primitives.
FOSAD
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
2002 J jnl
Behavioural typing for safe ambients.
Comput. Lang. Syst. Struct.
Michele Bugliesi, Giuseppe Castagna
2002 — conf
Information Flow Security for Boxed Ambients.
F-WAN@ICALP
Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
2002 A* conf
Semantic Subtyping.
LICS
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
2002 J jnl
Seventh International Workshop on Foundations of Object-Oriented Languages.
Inf. Comput.
Giuseppe Castagna, Adriana B. Compagnoni
2002 — conf
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.
FSTTCS
Giuseppe Castagna, Francesco Zappa Nardelli
2001 — conf
An overview of Boxed Ambients.
TOSCA
Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
2001 — conf
Boxed Ambients.
TACS
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2001 J jnl
Dependent Types with Subtyping and Late-Bound Overloading.
Inf. Comput.
Giuseppe Castagna, Gang Chen
2001 B conf
Reasoning about Security in Mobile Ambients.
CONCUR
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2001 A* conf
Secure safe ambients.
POPL
Michele Bugliesi, Giuseppe Castagna
2001 — conf
Subtyping and Matching for Mobile Objects.
ICTCS
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
2001 B conf
Typing Mobility in the Seal Calculus.
CONCUR
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
2000 B conf
Typed Mobile Objects.
CONCUR
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
1998 — conf
Seal: A Framework for Secure Mobile Computations.
ICCL Workshop: Internet Programming Languages
Jan Vitek, Giuseppe Castagna
1997 A conf
Parasitic Methods: An Implementation of Multi-Methods for Java.
OOPSLA
John Boyland, Giuseppe Castagna
1997 J jnl
Unifying Overloading and lambda-Abstraction: lambda
Theor. Comput. Sci.
Giuseppe Castagna
1996 — conf
A Typed Lambda Calculus of Objects (Extended Abstract).
ASIAN
Luigi Liquori, Giuseppe Castagna
1996 J jnl
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping.
Formal Aspects Comput.
Giuseppe Castagna
1996 A conf
Type-Safe Compilation of Covariant Specialization: A Practical Case.
ECOOP
John Boyland, Giuseppe Castagna
1995 J jnl
A Calculus for Overloaded Functions with Subtyping
Inf. Comput.
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
1995 J jnl
A Meta-Language for Typed Object-Oriented Languages.
Theor. Comput. Sci.
Giuseppe Castagna
1995 — conf
A proposal for making 02 more type-safe.
BDA
Giuseppe Castagna
1995 A* conf
Corrigendum: Decidable Bounded Quantification.
POPL
Giuseppe Castagna, Benjamin C. Pierce
1995 J jnl
Covariance and Contravariance: Conflict without a Cause.
ACM Trans. Program. Lang. Syst.
Giuseppe Castagna
1995 J jnl
Foundation of Object-Oriented Languages, 2nd Workshop Report.
ACM SIGPLAN Notices
Giuseppe Castagna, Gary T. Leavens
1995 J jnl
On Binary Methods.
Theory Pract. Object Syst.
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
1994 A* conf
Decidable Bounded Quantification.
POPL
Giuseppe Castagna, Benjamin C. Pierce
1994 — —
Overloading, subtyping and late binding - functional foundation of object-oriented programming.
Giuseppe Castagna
1993 — conf
A Meta-Language for Typed Object-Oriented Languages.
FSTTCS
Giuseppe Castagna
1993 — conf
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.
TLCA
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo
1993 — conf
F
DBPL
Giuseppe Castagna
1992 — conf
A Calculus for Overloaded Functions with Subtyping.
LISP and Functional Programming
Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo