Nombre de documents

50

CV de Giuseppe Castagna


Communication dans un congrès32 documents

  • Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen. Set-Theoretic Types for Polymorphic Variants. ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming, 2016, <10.1145/2951913.2951928>. <hal-01325644v2>
  • Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate. Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. POPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. <10.1145/2676726.2676991>. <hal-00880744v4>
  • Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken. A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. 2015, <10.1007/978-3-662-46669-8_10>. <hal-01104872>
  • Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, et al.. Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation. POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, 2014, <10.1145/2535838.2535840>. <hal-00907166>
  • Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon. Static and dynamic semantics of NoSQL languages. POPL, Jan 2013, Rome, Italy. pp.101-114, 2013, <10.1145/2429069.2429083>. <hal-00797956>
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani. On global types and multi-party sessions. In FMOODS & FORTE 2011, joint 13th IFIP International Conference on For- mal Methods for Open Object-based Distributed Systems and 31th IFIP International Con- ference on FORmal TEchniques for Networked and Distributed Systems, Jun 2011, Iceland. Springer, Lecture Notes in Computer Science. <10.1007/978-3-642-21461-5_1>. <hal-00618814>
  • Giuseppe Castagna, Zhiwu Xu. Set-theoretic foundation of parametric polymorphism and subtyping. ICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. 2011. <hal-00618839>
  • Giuseppe Castagna. Tackling parametric polymorphism for XML. Symposium on Computer Science and Novel Technologies, May 2010, Beijing, China. <hal-00694648>
  • Giuseppe Castagna, Luca Padovani. Contracts for Mobile Processes. CONCUR 2009, 20th. International Conference on Concurrency Theory, 2009, Italy. n. 5710, LNCS, pag. 211-228, 2009. <hal-00434461>
  • Giuseppe Castagna, Luca Padovani. A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper). INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France. <hal-00700685>
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. Foundation of Session Types. 11th ACM SIGPLAN Conference on Principles and practice of declarative programming, 2009, Portugal. pp.219-230, 2009, <10.1145/1599410.1599437>. <hal-00334435v2>
  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon. Pattern by example: type-driven visual programming of XML queries. PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, 2008, <10.1145/1389449.1389466>. <hal-00336118>
  • Giuseppe Castagna, Kim Nguyen. Typed iterators for XML. ICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, 2008, <10.1145/1411204.1411210>. <hal-00336119>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A Theory of Contracts for Web Services. ACM Press. POPL '08, 35th ACM Symposium on Principles of Programming Languages, Jan 2008, San Francisco, United States. pp.261-272, 2008, <10.1145/1328897.1328471>. <hal-00277238>
  • Giuseppe Castagna. A Theory of Contracts for Web Services. Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oct 2007, Oslo, Norway. <hal-00694649>
  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon. Pattern by Example: type-driven visual programming of XML queries. 23èmes Journées Bases de Données Avancées, Oct 2007, France. 2007. <hal-00695245>
  • Giuseppe Castagna. CDuce, an XML Processing Programming Language: From Theory to Practice. Brazilian Computer Society. SBLP, Proc. of XI Brazilian Symposium on Programming Languages, 2007, Brazil. pp.3-4, 2007. <hal-00152531>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A Theory of Contracts for Web Services. PLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France. 2007. <hal-00152547>
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca. Encoding CDuce in the Cpi-Calculus. 2006, Springer, pp.310-326, 2006. <hal-00148935>
  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen. Type-Based XML Projection. 2006, ACM Press, pp.271-282, 2006. <hal-00152588>
  • Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani. A formal account of contracts for Web Services. 2006, Springer, pp.148-162, 2006, n. 4184, LNCS. <hal-00152568>
  • Giuseppe Castagna, Rocco De Nicola, Daniele Varacca. Semantic Subtyping for the pi-Calculus. LICS, 2005, IEEE, pp.92-101, 2005. <hal-00148929>
  • Giuseppe Castagna, Dario Colazzo, Alain Frisch. Error Mining for Regular Expression Patterns. 2005, Springer, pp.160-172, 2005, n. 3701, LNCS. <hal-00152606>
  • Giuseppe Castagna. Patterns and types for querying XML. Proceedings of DBPL 2005, 10th International Symposium on Database Programming Languages LNCS n.3774, p.1-26, Springer (full version) and XSym 2005, 3rd International XML Database Symposium, LNCS n.3671 p. 1-3, Springer (summary), 2005, Norway. 2005, Joint invited talk. <hal-00152661>
  • Giuseppe Castagna, Alain Frisch. A gentle introduction to semantic subtyping. Proceedings of PPDP '05, the 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pages 198-208, ACM Press (full version) and ICALP '05, 32nd International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science n. 3580, pages 30-34, Springer (summary), 2005, Portugal. 2005, Joint ICALP-PPDP keynote talk. <hal-00152690>
  • Véronique Benzaken, Giuseppe Castagna, Cédric Miachon. A Full Pattern-based Paradigm for XML Query Processing. 2005, Springer, pp.235-252, 2005, n. 3350, LNCS. <hal-00152591>
  • Haruo Hosoya, Alain Frisch, Giuseppe Castagna. Parametric Polymorphism for XML. 2005, ACM Press, pp.50-62, 2005. <hal-00152609>
  • Giuseppe Castagna. Semantic subtyping: challenges, perspectives, and open problems. ICTCS 2005, Italian Conference on Theoretical Computer Science, 2005, Italy. pp.1-20, 2005, n. 3701, LNCS, Springer. <hal-00152679>
  • Véronique Benzaken, Marwan Burelle, Giuseppe Castagna. Information flow security for XML transformations. 2003, Springer, pp.33-53, 2003, n. 2896, LNCS. <hal-00152613>
  • Véronique Benzaken, Giuseppe Castagna, Alain Frisch. CDuce: an XML-Centric General-Purpose Language. 2003, ACM Press, pp.51-63, 2003. <hal-00152619>
  • Luigi Liquori, Giuseppe Castagna. A Typed Lambda Calculus of Objects. Concurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. Springer Verlag, 1179, pp.129-141, Lecture Notes in Computer Science. <10.1007/BFb0027786>. <hal-01156547>
  • Maria-Virginia Aponte, Giuseppe Castagna. Programmation modulaire avec surcharge et liaison tardive. Journées Francophones des Langages Applicatifs., Jan 1996, X, France. 1996. <hal-01125080>

Article dans une revue10 documents

  • Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, et al.. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. <10.1561/2500000031>. <hal-01348054>
  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn. Optimizing XML Querying using Type-based Document Projection. ACM Transactions on Database (Weston, Conn.) Systems, 2013, 38 (1), pp.1-45. <hal-00798049>
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani. On global types and multi-party sessions. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.1-45. <10.2168/LMCS-8(1:24)2012>. <hal-00694636>
  • Giuseppe Castagna, Nils Gesbert, Luca Padovani. A theory of contracts for Web services. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2009, 31 (5), pp.1-61. <10.1145/1538917.1538920>. <hal-00434459>
  • Haruo Hosoya, Alain Frisch, Giuseppe Castagna. Parametric polymorphism for XML. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2009, 32 (1), pp.1-56. <10.1145/1596527.1596529>. <hal-00435377>
  • Alain Frisch, Giuseppe Castagna, Véronique Benzaken. Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM, ACM, 2008, 55 (4), pp.1-64. <10.1145/1391289.1391293>. <hal-00336120>
  • Giuseppe Castagna, Rocco De Nicola, Daniele Varacca. Semantic subtyping for the pi-calculus. Journal of Theoretical Computer Science (TCS), Elsevier, 2008, 398 (1-3), pp.217-242. <10.1016/j.tcs.2008.01.049>. <hal-00277244>
  • Andrew Phillips, Luca Cardelli, Giuseppe Castagna. A Graphical Representation for Biological Processes in the Stochastic pi-calculus. Transactions on Computational Systems Biology, Springer, 2006, 7, pp.123-152. <hal-00152518>
  • Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli. The Seal Calculus. Information and Computation, Elsevier, 2005, 201 (1), pp.1-54. <hal-00152521>
  • Michele Bugliesi, Giuseppe Castagna, Silvia Crafa. Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2004, 26 (1), pp.57-124. <hal-00152525>

Chapitre d'ouvrage2 documents

  • Giuseppe Castagna, Véronique Benzaken, Haruo Hosoya, Benjamin Pierce, Stijn Vansummeren. XML Typechecking. The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009. <hal-00434495>
  • Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone. Name-passing calculi and crypto primitives: a survey. Foundations of Security Analysis and Design, Springer, pp.91-138, 2004, LNCS n. 2946. <hal-00152565>

Direction d'ouvrage, Proceedings4 documents

  • Giuseppe Castagna, John Boyland. Selected Papers of the "18th European Symposium on Programming", volume 411, Issue 51-52 of Theoretical Computer Science. Elsevier, pp.4357-4466, 2010. <hal-00694644>
  • Giuseppe Castagna. Programming Languages and Systems: Proceedings of the 18th European Symposium on Programming, ESOP 2009, volume 5502 of Lecture Notes in Computer Science.. Springer, pp.409, 2009. <hal-00694645>
  • Giuseppe Castagna, Igor Walukiewicz. Selected Papers of the Conference "International Colloquium on Automata, Languages and Programming 2008" (ICALP). Special issue of Logical Methods in Computer Science.. IfCoLog, 2009. <hal-00694646>
  • Roberto M. Amadio, Andrea Asperti, Giuseppe Castagna. From Type Theory to Morphological Complexity. Special issue of Information and Computation, volume 207(5).. Academic Press, pp.543-669, 2009. <hal-00694647>

Autre publication2 documents

  • Véronique Benzaken, Giuseppe Castagna, Julien Demouth, Alain Frisch, Cédric Miachon, et al.. ℂDuce User's Manual. Available at http://www.cduce.org/manual.html. 2011. <hal-00699615>
  • Véronique Benzaken, Giuseppe Castagna, Alain Frisch. ℂDuce Tutorial. Available at http://www.cduce.org/tutorial.html. 2007. <hal-00699610>