Giuseppe Castagna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
13
Active years
1994–2019
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PPDP | Foundations of Session Types: 10 Years Later. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2018 | WWW | Language-Integrated Queries: a BOLDR Approach. | Vronique Benzaken, Giuseppe Castagna, Laurent Dayns, Julien Lopez, Kim Nguyen, Romain Vernoux |
| 2016 | ICFP | Set-theoretic types for polymorphic variants. | Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen |
| 2015 | ESOP | A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. | Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Vronique Benzaken |
| 2015 | POPL | Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate |
| 2014 | POPL | Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani |
| 2013 | POPL | Static and dynamic semantics of NoSQL languages. | Vronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jrme Simon |
| 2011 | FORTE | On Global Types and Multi-party Sessions. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
| 2011 | ICFP | Set-theoretic foundation of parametric polymorphism and subtyping. | Giuseppe Castagna, Zhiwu Xu |
| 2009 | CONCUR | Contracts for Mobile Processes. | Giuseppe Castagna, Luca Padovani |
| 2009 | PPDP | Foundations of session types. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2008 | ICFP | Typed iterators for XML. | Giuseppe Castagna, Kim Nguyen |
| 2008 | POPL | A theory of contracts for web services. | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
| 2008 | PPDP | Pattern by example: type-driven visual programming of XML queries. | Vronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cdric Miachon |
| 2006 | CONCUR | Encoding CDuce in the Cpi-Calculus. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca |
| 2006 | VLDB | Type-Based XML Projection. | Vronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
| 2005 | ICALP | A Gentle Introduction to Semantic Subtyping. | Giuseppe Castagna, Alain Frisch |
| 2005 | LICS | Semantic Subtyping for the p-Calculus. | Giuseppe Castagna, Rocco De Nicola, Daniele Varacca |
| 2005 | PADL | A Full Pattern-Based Paradigm for XML Query Processing. | Vronique Benzaken, Giuseppe Castagna, Cdric Miachon |
| 2005 | POPL | Parametric polymorphism for XML. | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
| 2005 | PPDP | A gentle introduction to semantic subtyping. | Giuseppe Castagna, Alain Frisch |
| 2003 | ICFP | CDuce: an XML-centric general-purpose language. | Vronique Benzaken, Giuseppe Castagna, Alain Frisch |
| 2002 | LICS | Semantic Subtyping. | Alain Frisch, Giuseppe Castagna, Vronique Benzaken |
| 2001 | CONCUR | Reasoning about Security in Mobile Ambients. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 2001 | CONCUR | Typing Mobility in the Seal Calculus. | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
| 2001 | POPL | Secure safe ambients. | Michele Bugliesi, Giuseppe Castagna |
| 2000 | CONCUR | Typed Mobile Objects. | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
| 1997 | OOPSLA | Parasitic Methods: An Implementation of Multi-Methods for Java. | John Boyland, Giuseppe Castagna |
| 1996 | ECOOP | Type-Safe Compilation of Covariant Specialization: A Practical Case. | John Boyland, Giuseppe Castagna |
| 1995 | POPL | Corrigendum: Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |
| 1994 | POPL | Decidable Bounded Quantification. | Giuseppe Castagna, Benjamin C. Pierce |