Search - Archive ouverte HAL Access content directly

Filter your results

60 Results
authIdHal_s : castagna

Encoding CDuce in the Cpi-Calculus

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Daniele Varacca
2006, pp.310-326
Conference papers hal-00148935v1

A Full Pattern-based Paradigm for XML Query Processing

Véronique Benzaken , Giuseppe Castagna , Cédric Miachon
2005, pp.235-252
Conference papers hal-00152591v1

XML Typechecking

Giuseppe Castagna , Véronique Benzaken , Haruo Hosoya , Benjamin C. Pierce , Stijn Vansummeren et al.
The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Book sections hal-00434495v1
Image document

On global types and multi-party sessions

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers hal-00618814v1

A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper)

Giuseppe Castagna , Luca Padovani
INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France
Conference papers hal-00700685v1

Parametric polymorphism for XML

Haruo Hosoya , Alain Frisch , Giuseppe Castagna
ACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 32 (1), pp.1-56. ⟨10.1145/1596527.1596529⟩
Journal articles hal-00435377v1

Contracts for Mobile Processes

Giuseppe Castagna , Luca Padovani
CONCUR 2009, 20th. International Conference on Concurrency Theory, 2009, Italy. n. 5710, LNCS, pag. 211-228
Conference papers hal-00434461v1

Pattern by Example: type-driven visual programming of XML queries

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon
23èmes Journées Bases de Données Avancées, Oct 2007, France
Conference papers hal-00695245v1

Selected Papers of the Conference "International Colloquium on Automata, Languages and Programming 2008" (ICALP). Special issue of Logical Methods in Computer Science.

Giuseppe Castagna , Igor Walukiewicz
IfCoLog, 2009
Books hal-00694646v1

Set-theoretic foundation of parametric polymorphism and subtyping

Giuseppe Castagna , Zhiwu Xu
ICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan
Conference papers hal-00618839v1

Name-passing calculi and crypto primitives: a survey

Michele Bugliesi , Giuseppe Castagna , Silvia Crafa , Riccardo Focardi , Vladimiro Sassone et al.
Foundations of Security Analysis and Design, Springer, pp.91-138, 2004, LNCS n. 2946
Book sections hal-00152565v1

Typed iterators for XML

Giuseppe Castagna , Kim Nguyen
ICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩
Conference papers hal-00336119v1

A Graphical Representation for Biological Processes in the Stochastic pi-calculus

Andrew N. Phillips , Luca Cardelli , Giuseppe Castagna
Transactions on Computational Systems Biology, 2006, 7, pp.123-152
Journal articles hal-00152518v1

A gentle introduction to semantic subtyping

Giuseppe Castagna , Alain Frisch
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
Conference papers hal-00152690v1

On global types and multi-party sessions

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
Logical Methods in Computer Science, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩
Journal articles hal-00694636v1
Image document

Revisiting Occurrence Typing

Giuseppe Castagna , Victor Lanvin , Mickaël Laurent , Kim Nguyen
Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
Journal articles hal-02181137v5

A Theory of Contracts for Web Services

Giuseppe Castagna , Nils Gesbert , Luca Padovani
PLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France
Conference papers hal-00152547v1

POPL '17: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Giuseppe Castagna , Andrew D Gordon
2017, 978-1-4503-4660-3. ⟨10.1145/3009837⟩
Books hal-03771811v1

Gradual typing: a new perspective

Giuseppe Castagna , Victor Lanvin , Tommaso Petrucciani , Jeremy Siek
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-32. ⟨10.1145/3290329⟩
Journal articles hal-02183382v1

Programming Languages and Systems: Proceedings of the 18th European Symposium on Programming, ESOP 2009, volume 5502 of Lecture Notes in Computer Science.

Giuseppe Castagna
Springer, pp.409, 2009
Books hal-00694645v1

A Theory of Contracts for Web Services

Giuseppe Castagna
Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oct 2007, Oslo, Norway
Conference papers hal-00694649v1
Image document

Set-Theoretic Types for Polymorphic Variants

Giuseppe Castagna , Tommaso Petrucciani , Kim Nguyen
ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
Conference papers hal-01325644v2
Image document

Static and dynamic semantics of NoSQL languages

Véronique Benzaken , Giuseppe Castagna , Kim Nguyễn , Jérôme Siméon
POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Conference papers hal-00797956v1

Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation

Giuseppe Castagna , Kim Nguyen , Zhiwu Xu , Hyeonseung Im , Sergueï Lenglet et al.
POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩
Conference papers hal-00907166v1

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

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Cédric Miachon
PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩
Conference papers hal-00336118v1
Image document

A Typed Lambda Calculus of Objects

Luigi Liquori , Giuseppe Castagna
Concurrency and Parallelism, Programming, Networking, and Security. Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings, Dec 1996, Singapore, Singapore. pp.129-141, ⟨10.1007/BFb0027786⟩
Conference papers hal-01156547v1

Selected Papers of the "18th European Symposium on Programming", volume 411, Issue 51-52 of Theoretical Computer Science

Giuseppe Castagna , John Boyland
Elsevier, pp.4357-4466, 2010
Books hal-00694644v1

Behavioral Types in Programming Languages

Davide Ancona , Viviana Bono , Mario Bravetti , Joana Campos , Giuseppe Castagna et al.
Foundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩
Journal articles hal-01348054v1
Image document

Optimizing XML Querying using Type-based Document Projection

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyễn
ACM Transactions on Database Systems, 2013, 38 (1), pp.1-45
Journal articles hal-00798049v1

ℂDuce Tutorial

Véronique Benzaken , Giuseppe Castagna , Alain Frisch
Other publications hal-00699610v1