Filter your results
- 47
- 13
- 35
- 15
- 5
- 2
- 2
- 1
- 60
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 1
- 2
- 1
- 3
- 2
- 9
- 5
- 5
- 4
- 8
- 2
- 2
- 1
- 60
- 31
- 21
- 17
- 13
- 9
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 14
- 12
- 10
- 8
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Encoding CDuce in the Cpi-Calculus2006, pp.310-326
Conference papers
hal-00148935v1
|
|||
A Full Pattern-based Paradigm for XML Query Processing2005, pp.235-252
Conference papers
hal-00152591v1
|
|||
XML TypecheckingThe Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Book sections
hal-00434495v1
|
|||
|
On global types and multi-party sessions13th 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)INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France
Conference papers
hal-00700685v1
|
|||
|
Parametric polymorphism for XMLACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 32 (1), pp.1-56. ⟨10.1145/1596527.1596529⟩
Journal articles
hal-00435377v1
|
||
Contracts for Mobile ProcessesCONCUR 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 queries23è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.IfCoLog, 2009
Books
hal-00694646v1
|
|||
Set-theoretic foundation of parametric polymorphism and subtypingICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan
Conference papers
hal-00618839v1
|
|||
Name-passing calculi and crypto primitives: a surveyFoundations of Security Analysis and Design, Springer, pp.91-138, 2004, LNCS n. 2946
Book sections
hal-00152565v1
|
|||
Typed iterators for XMLICFP '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-calculusTransactions on Computational Systems Biology, 2006, 7, pp.123-152
Journal articles
hal-00152518v1
|
|||
A gentle introduction to semantic subtypingProceedings 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 sessionsLogical Methods in Computer Science, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩
Journal articles
hal-00694636v1
|
||
|
Revisiting Occurrence TypingScience of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
Journal articles
hal-02181137v5
|
||
A Theory of Contracts for Web ServicesPLAN-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 Languages2017, 978-1-4503-4660-3. ⟨10.1145/3009837⟩
Books
hal-03771811v1
|
|||
|
Gradual typing: a new perspectiveProceedings 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.Springer, pp.409, 2009
Books
hal-00694645v1
|
|||
A Theory of Contracts for Web ServicesWorkshop on Formal Languages and Analysis of Contract-Oriented Software, Oct 2007, Oslo, Norway
Conference papers
hal-00694649v1
|
|||
|
Set-Theoretic Types for Polymorphic VariantsACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
Conference papers
hal-01325644v2
|
||
|
Static and dynamic semantics of NoSQL languagesPOPL, 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 EvaluationPOPL '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 queriesPPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩
Conference papers
hal-00336118v1
|
|||
|
A Typed Lambda Calculus of ObjectsConcurrency 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 ScienceElsevier, pp.4357-4466, 2010
Books
hal-00694644v1
|
|||
|
Behavioral Types in Programming LanguagesFoundations and Trends in Programming Languages, 2016, 3 (2-3), pp.95-230. ⟨10.1561/2500000031⟩
Journal articles
hal-01348054v1
|
||
|
Optimizing XML Querying using Type-based Document ProjectionACM Transactions on Database Systems, 2013, 38 (1), pp.1-45
Journal articles
hal-00798049v1
|
||
ℂDuce Tutorial2007
Other publications
hal-00699610v1
|
- 1
- 2