default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe Castagna
Person information
- affiliation: Université de Paris, CNRS-IRIF, Paris, France
- affiliation (former): Université Paris Diderot, CNRS-IRIF, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Giuseppe Castagna
, Mickaël Laurent, Kim Nguyen:
Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8(POPL): 1179-1210 (2024)- [j29]Giuseppe Castagna, Guillaume Duboc, José Valim:
The Design Principles of the Elixir Type System. Art Sci. Eng. Program. 8(2) (2024) - [p1]Giuseppe Castagna:
Programming with Union, Intersection, and Negation Types. The French School of Programming 2024: 309-378 - [i11]Giuseppe Castagna, Loïc Peyrot:
Polymorphic Records for Dynamic Languages. CoRR abs/2404.00338 (2024) - [i10]Giuseppe Castagna, Guillaume Duboc:
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir. CoRR abs/2408.14345 (2024) - 2023
- [j28]Giuseppe Castagna:
Typing Records, Maps, and Structs. Proc. ACM Program. Lang. 7(ICFP): 215-258 (2023) - [i9]Giuseppe Castagna, Guillaume Duboc, José Valim:
The Design Principles of the Elixir Type System. CoRR abs/2306.06391 (2023) - [i8]Giuseppe Castagna, Mickaël Laurent, Kim Nguyen:
Polymorphic Type Inference for Dynamic Languages. CoRR abs/2311.10426 (2023) - 2022
- [j27]Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze:
On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - [j26]Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen:
Revisiting occurrence typing. Sci. Comput. Program. 217: 102781 (2022) - 2021
- [i7]Giuseppe Castagna:
Programming with union, intersection, and negation types. CoRR abs/2111.03354 (2021) - 2020
- [j25]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)
2010 – 2019
- 2019
- [j24]Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek:
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3(POPL): 16:1-16:32 (2019) - [c57]Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL 2019: 8:1-8:12 - [c56]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3 - [i6]Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen:
Revisiting Occurrence Typing. CoRR abs/1907.05590 (2019) - 2018
- [c55]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. TYPES 2018: 4:1-4:24 - [c54]Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux:
Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) 2018: 711-719 - [r2]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems (2nd ed.) 2018 - [i5]Giuseppe Castagna:
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). CoRR abs/1809.01427 (2018) - [i4]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic subtyping for non-strict languages. CoRR abs/1810.05555 (2018) - 2017
- [j23]Giuseppe Castagna, Victor Lanvin:
Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1(ICFP): 41:1-41:28 (2017) - [e4]Giuseppe Castagna, Andrew D. Gordon:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. ACM 2017, ISBN 978-1-4503-4660-3 [contents] - 2016
- [j22]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): 95-230 (2016) - [c53]Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen:
Set-theoretic types for polymorphic variants. ICFP 2016: 378-391 - [i3]Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen:
Set-Theoretic Types for Polymorphic Variants. CoRR abs/1606.01106 (2016) - 2015
- [c52]Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken:
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP 2015: 232-256 - [c51]Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate:
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL 2015: 289-302 - 2014
- [c50]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: 5-18 - 2013
- [j21]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. 38(1): 4 (2013) - [c49]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. POPL 2013: 101-114 - [e3]Giuseppe Castagna:
ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7920, Springer 2013, ISBN 978-3-642-39037-1 [contents] - [i2]Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon:
Static and dynamic semantics of NoSQL languages. CoRR abs/1303.1716 (2013) - 2012
- [j20]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-Party Session. Log. Methods Comput. Sci. 8(1) (2012) - 2011
- [c48]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28 - [c47]Giuseppe Castagna, Zhiwu Xu:
Set-theoretic foundation of parametric polymorphism and subtyping. ICFP 2011: 94-106 - [i1]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Optimizing XML querying using type-based document projection. CoRR abs/1104.2079 (2011) - 2010
- [j19]John Tang Boyland, Giuseppe Castagna:
Preface. Theor. Comput. Sci. 411(51-52): 4357 (2010)
2000 – 2009
- 2009
- [j18]Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti:
Preface. Inf. Comput. 207(5): 543-544 (2009) - [j17]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31(5): 19:1-19:61 (2009) - [j16]Haruo Hosoya, Alain Frisch, Giuseppe Castagna:
Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32(1): 2:1-2:56 (2009) - [c46]Giuseppe Castagna, Luca Padovani:
Contracts for Mobile Processes. CONCUR 2009: 211-228 - [c45]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of session types. PPDP 2009: 219-230 - [e2]Giuseppe Castagna:
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. Lecture Notes in Computer Science 5502, Springer 2009, ISBN 978-3-642-00589-3 [contents] - [r1]Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren:
XML Typechecking. Encyclopedia of Database Systems 2009: 3646-3650 - 2008
- [j15]Alain Frisch, Giuseppe Castagna, Véronique Benzaken:
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55(4): 19:1-19:64 (2008) - [j14]Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008) - [c44]Giuseppe Castagna, Kim Nguyen:
Typed iterators for XML. ICFP 2008: 15-26 - [c43]Giuseppe Castagna, Kim Nguyen:
Typed Iterators for XML. PLAN-X 2008 - [c42]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for web services. POPL 2008: 261-272 - [c41]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon:
Pattern by example: type-driven visual programming of XML queries. PPDP 2008: 131-142 - 2007
- [c40]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon:
Pattern by Example: type-driven visual programming of XML queries. BDA 2007 - [c39]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A Theory of Contracts for Web Services. PLAN-X 2007: 37-48 - 2006
- [j13]Andrew Phillips, Luca Cardelli, Giuseppe Castagna:
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. Trans. Comp. Sys. Biology 7: 123-152 (2006) - [c38]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Type-Based XML Projection. BDA 2006 - [c37]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca:
Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326 - [c36]Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Type-Based XML Projection. VLDB 2006: 271-282 - [c35]Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani:
A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162 - [e1]Giuseppe Castagna, Mukund Raghavachari:
PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006. BRICS, Department of Computer Science, University of Aarhus 2006 [contents] - 2005
- [j12]Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli:
The Seal Calculus. Inf. Comput. 201(1): 1-54 (2005) - [c34]Giuseppe Castagna:
Patterns and Types for Querying XML Documents. DBPL 2005: 1-26 - [c33]Giuseppe Castagna, Alain Frisch:
A Gentle Introduction to Semantic Subtyping. ICALP 2005: 30-34 - [c32]Giuseppe Castagna:
Semantic Subtyping: Challenges, Perspectives, and Open Problems. ICTCS 2005: 1-20 - [c31]Giuseppe Castagna, Dario Colazzo, Alain Frisch:
Error Mining for Regular Expression Patterns. ICTCS 2005: 160-172 - [c30]Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic Subtyping for the p-Calculus. LICS 2005: 92-101 - [c29]Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing. PADL 2005: 235-252 - [c28]Haruo Hosoya, Alain Frisch, Giuseppe Castagna:
Parametric polymorphism for XML. POPL 2005: 50-62 - [c27]Giuseppe Castagna, Alain Frisch:
A gentle introduction to semantic subtyping. PPDP 2005: 198-199 - [c26]Giuseppe Castagna:
Patterns and Types for Querying XML Documents. XSym 2005: 1-3 - 2004
- [j11]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004) - [c25]Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
CQL: a pattern-based query language for XML. BDA 2004: 469-490 - 2003
- [c24]Véronique Benzaken, Marwan Burelle, Giuseppe Castagna:
Information Flow Security for XML Transformations. ASIAN 2003: 33-53 - [c23]Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
CDuce: an XML-centric general-purpose language. ICFP 2003: 51-63 - 2002
- [j10]Michele Bugliesi, Giuseppe Castagna:
Behavioural typing for safe ambients. Comput. Lang. Syst. Struct. 28(1): 61-99 (2002) - [j9]Giuseppe Castagna, Adriana B. Compagnoni:
Seventh International Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 177(1): 1 (2002) - [c22]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138 - [c21]Giuseppe Castagna, Francesco Zappa Nardelli:
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. FSTTCS 2002: 85-96 - [c20]Alain Frisch, Giuseppe Castagna, Véronique Benzaken:
Semantic Subtyping. LICS 2002: 137-146 - [c19]Silvia Crafa, Michele Bugliesi, Giuseppe Castagna:
Information Flow Security for Boxed Ambients. F-WAN@ICALP 2002: 76-97 - 2001
- [j8]Giuseppe Castagna, Gang Chen:
Dependent Types with Subtyping and Late-Bound Overloading. Inf. Comput. 168(1): 1-67 (2001) - [c18]Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli:
Typing Mobility in the Seal Calculus. CONCUR 2001: 82-101 - [c17]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120 - [c16]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255 - [c15]Michele Bugliesi, Giuseppe Castagna:
Secure safe ambients. POPL 2001: 222-235 - [c14]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Boxed Ambients. TACS 2001: 38-63 - [c13]Giuseppe Castagna, Michele Bugliesi, Silvia Crafa:
An overview of Boxed Ambients. TOSCA 2001: 1-6 - 2000
- [c12]Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
Typed Mobile Objects. CONCUR 2000: 504-520
1990 – 1999
- 1998
- [c11]Jan Vitek, Giuseppe Castagna:
Seal: A Framework for Secure Mobile Computations. ICCL Workshop: Internet Programming Languages 1998: 47-77 - 1997
- [j7]Giuseppe Castagna:
Unifying Overloading and lambda-Abstraction: lambda{}. Theor. Comput. Sci. 176(1-2): 337-345 (1997) - [c10]John Boyland, Giuseppe Castagna:
Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA 1997: 66-76 - 1996
- [j6]Giuseppe Castagna:
Integration of Parametric and "ad hoc" Second Order Polymorphism in a Calculus with Subtyping. Formal Aspects Comput. 8(3): 247-293 (1996) - [c9]Luigi Liquori, Giuseppe Castagna:
A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN 1996: 129-141 - [c8]John Boyland, Giuseppe Castagna:
Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25 - 1995
- [j5]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping. Inf. Comput. 117(1): 115-135 (1995) - [j4]Giuseppe Castagna, Gary T. Leavens:
Foundation of Object-Oriented Languages, 2nd Workshop Report. ACM SIGPLAN Notices 30(2): 5-11 (1995) - [j3]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): 221-242 (1995) - [j2]Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages. Theor. Comput. Sci. 151(2): 297-352 (1995) - [j1]Giuseppe Castagna:
Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst. 17(3): 431-447 (1995) - [c7]Giuseppe Castagna:
A proposal for making 02 more type-safe. BDA 1995: 61- - [c6]Giuseppe Castagna, Benjamin C. Pierce:
Corrigendum: Decidable Bounded Quantification. POPL 1995: 408 - 1994
- [b1]Giuseppe Castagna:
Overloading, subtyping and late binding - functional foundation of object-oriented programming. LIENS Paris, 1994, pp. 1-373 - [c5]Giuseppe Castagna, Benjamin C. Pierce:
Decidable Bounded Quantification. POPL 1994: 151-162 - 1993
- [c4]Giuseppe Castagna:
F&<=: integrating parametric and "ad hoc" second order polymorphism. DBPL 1993: 338-358 - [c3]Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages. FSTTCS 1993: 52-71 - [c2]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123 - 1992
- [c1]Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo:
A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
