Giuseppe Castagna

According to our database, Giuseppe Castagna authored at least 84 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Polymorphic Type Inference for Dynamic Languages.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen

Proc. ACM Program. Lang., January, 2024

The Design Principles of the Elixir Type System.

Giuseppe Castagna, Guillaume Duboc, José Valim

Art Sci. Eng. Program., 2024

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir.

Giuseppe Castagna, Guillaume Duboc

CoRR, 2024

Polymorphic Records for Dynamic Languages.

Giuseppe Castagna, Loïc Peyrot

CoRR, 2024

Programming with Union, Intersection, and Negation Types.

Giuseppe Castagna

Proceedings of the French School of Programming, 2024

2023

Typing Records, Maps, and Structs.

Giuseppe Castagna

Proc. ACM Program. Lang., August, 2023

2022

Revisiting occurrence typing.

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen

Sci. Comput. Program., 2022

On type-cases, union elimination, and occurrence typing.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze

Proc. ACM Program. Lang., 2022

2021

Programming with union, intersection, and negation types.

Giuseppe Castagna

CoRR, 2021

2020

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

2019

Gradual typing: a new perspective.

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek

Proc. ACM Program. Lang., 2019

Foundations of Session Types: 10 Years Later.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A space-efficient call-by-value virtual machine for gradual set-theoretic types.

Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Language-Integrated Queries: a BOLDR Approach.

Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Semantic Subtyping for Non-Strict Languages.

Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

2017

Gradual typing with union and intersection types.

Giuseppe Castagna, Victor Lanvin

Proc. ACM Program. Lang., 2017

2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Set-theoretic types for polymorphic variants.

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken

Proceedings of the Programming Languages and Systems, 2015

2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Optimizing XML querying using type-based document projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

ACM Trans. Database Syst., 2013

Static and dynamic semantics of NoSQL languages.

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

On Global Types and Multi-Party Session

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

Log. Methods Comput. Sci., 2012

2011

Set-theoretic foundation of parametric polymorphism and subtyping.

Giuseppe Castagna, Zhiwu Xu

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

On Global Types and Multi-party Sessions.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Preface.

John Tang Boyland, Giuseppe Castagna

Theor. Comput. Sci., 2010

2009

XML Typechecking.

Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren

Proceedings of the Encyclopedia of Database Systems, 2009

Parametric polymorphism for XML.

Haruo Hosoya, Alain Frisch, Giuseppe Castagna

ACM Trans. Program. Lang. Syst., 2009

A theory of contracts for Web services.

Giuseppe Castagna, Nils Gesbert, Luca Padovani

ACM Trans. Program. Lang. Syst., 2009

Preface.

Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti

Inf. Comput., 2009

Foundations of session types.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Contracts for Mobile Processes.

Giuseppe Castagna, Luca Padovani

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Semantic subtyping for the pi-calculus.

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Theor. Comput. Sci., 2008

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

J. ACM, 2008

Pattern by example: type-driven visual programming of XML queries.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Typed Iterators for XML.

Giuseppe Castagna, Kim Nguyen

Proceedings of the PLAN-X 2008, 2008

2006

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.

Andrew Phillips, Luca Cardelli, Giuseppe Castagna

Trans. Comp. Sys. Biology, 2006

A Formal Account of Contracts for Web Services.

Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Type-Based XML Projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

Encoding CDuce in the Cpi-Calculus.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

The Seal Calculus.

Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli

Inf. Comput., 2005

Patterns and Types for Querying XML Documents.

Giuseppe Castagna

Proceedings of the Database and XML Technologies, 2005

A Full Pattern-Based Paradigm for XML Query Processing.

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Semantic Subtyping for the p-Calculus.

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Error Mining for Regular Expression Patterns.

Giuseppe Castagna, Dario Colazzo, Alain Frisch

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Semantic Subtyping: Challenges, Perspectives, and Open Problems.

Giuseppe Castagna

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

A Gentle Introduction to Semantic Subtyping.

Giuseppe Castagna, Alain Frisch

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Access control for mobile agents: The calculus of boxed ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

ACM Trans. Program. Lang. Syst., 2004

CQL: a pattern-based query language for XML.

Véronique Benzaken, Giuseppe Castagna, Cédric Miachon

Proceedings of the 20èmes Journées Bases de Données Avancées, 2004

2003

CDuce: an XML-centric general-purpose language.

Véronique Benzaken, Giuseppe Castagna, Alain Frisch

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Information Flow Security for XML Transformations.

Véronique Benzaken, Marwan Burelle, Giuseppe Castagna

Proceedings of the Advances in Computing Science, 2003

2002

Seventh International Workshop on Foundations of Object-Oriented Languages.

Giuseppe Castagna, Adriana B. Compagnoni

Inf. Comput., 2002

Information Flow Security for Boxed Ambients.

Silvia Crafa, Michele Bugliesi, Giuseppe Castagna

Proceedings of the Foundations of Wide Area Network Computing, 2002

Behavioural typing for safe ambients.

Michele Bugliesi, Giuseppe Castagna

Comput. Lang. Syst. Struct., 2002

Semantic Subtyping.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.

Giuseppe Castagna, Francesco Zappa Nardelli

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

A Survey of Name-Passing Calculi and Crypto-Primitives.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

Dependent Types with Subtyping and Late-Bound Overloading.

Giuseppe Castagna, Gang Chen

Inf. Comput., 2001

An overview of Boxed Ambients.

Giuseppe Castagna, Michele Bugliesi, Silvia Crafa

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Boxed Ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Secure safe ambients.

Michele Bugliesi, Giuseppe Castagna

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Subtyping and Matching for Mobile Objects.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Typing Mobility in the Seal Calculus.

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli

Proceedings of the CONCUR 2001, 2001

Reasoning about Security in Mobile Ambients.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the CONCUR 2001, 2001

2000

Typed Mobile Objects.

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa

Proceedings of the CONCUR 2000, 2000

1998

Seal: A Framework for Secure Mobile Computations.

Jan Vitek, Giuseppe Castagna

Proceedings of the Internet Programming Languages, 1998

1997

Unifying Overloading and lambda-Abstraction: lambda^{}.

Giuseppe Castagna

Theor. Comput. Sci., 1997

Parasitic Methods: An Implementation of Multi-Methods for Java.

John Boyland, Giuseppe Castagna

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996

Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping.

Giuseppe Castagna

Formal Aspects Comput., 1996

Type-Safe Compilation of Covariant Specialization: A Practical Case.

John Boyland, Giuseppe Castagna

Proceedings of the ECOOP'96, 1996

A Typed Lambda Calculus of Objects (Extended Abstract).

Luigi Liquori, Giuseppe Castagna

Proceedings of the Concurrency and Parallelism, 1996

1995

A Calculus for Overloaded Functions with Subtyping

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

Inf. Comput., February, 1995

Covariance and Contravariance: Conflict without a Cause.

Giuseppe Castagna

ACM Trans. Program. Lang. Syst., 1995

A Meta-Language for Typed Object-Oriented Languages.

Giuseppe Castagna

Theor. Comput. Sci., 1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

Foundation of Object-Oriented Languages, 2nd Workshop Report.

Giuseppe Castagna, Gary T. Leavens

ACM SIGPLAN Notices, 1995

Corrigendum: Decidable Bounded Quantification.

Giuseppe Castagna, Benjamin C. Pierce

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A proposal for making 02 more type-safe.

Giuseppe Castagna

Proceedings of the Onzièmes Journées Bases de Données Avancées, 29 Août, 1995

1994

Decidable Bounded Quantification.

Giuseppe Castagna, Benjamin C. Pierce

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Overloading, subtyping and late binding - functional foundation of object-oriented programming.

Giuseppe Castagna

PhD thesis, 1994

1993

A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo

Proceedings of the Typed Lambda Calculi and Applications, 1993

F^&_<=: integrating parametric and "ad hoc" second order polymorphism.

Giuseppe Castagna

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993