Filtrer vos résultats
- 49
- 15
- 36
- 18
- 5
- 2
- 2
- 1
- 64
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 3
- 2
- 9
- 5
- 5
- 4
- 8
- 2
- 2
- 2
- 64
- 31
- 21
- 17
- 16
- 9
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 64
- 14
- 13
- 10
- 8
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 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
64 résultats
|
|
Foundation of Session Types11th ACM SIGPLAN Conference on Principles and practice of declarative programming, 2009, Portugal. pp.219-230, ⟨10.1145/1599410.1599437⟩
Communication dans un congrès
hal-00334435v2
|
||
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation typesJournal of the ACM (JACM), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩
Article dans une revue
hal-00336120v1
|
|||
XML TypecheckingThe Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Chapitre d'ouvrage
hal-00434495v1
|
|||
Encoding CDuce in the Cpi-Calculus2006, pp.310-326
Communication dans un congrès
hal-00148935v1
|
|||
A Full Pattern-based Paradigm for XML Query Processing2005, pp.235-252
Communication dans un congrès
hal-00152591v1
|
|||
Contracts for Mobile ProcessesCONCUR 2009, 20th. International Conference on Concurrency Theory, 2009, Italy. n. 5710, LNCS, pag. 211-228
Communication dans un congrès
hal-00434461v1
|
|||
|
|
Parametric polymorphism for XMLACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 32 (1), pp.1-56. ⟨10.1145/1596527.1596529⟩
Article dans une revue
hal-00435377v1
|
||
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00700685v1
|
|||
Pattern by Example: type-driven visual programming of XML queries23èmes Journées Bases de Données Avancées, Oct 2007, France
Communication dans un congrès
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
Ouvrages
hal-00694646v1
|
|||
POPL '17: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages2017, 978-1-4503-4660-3. ⟨10.1145/3009837⟩
Ouvrages
hal-03771811v1
|
|||
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
Ouvrages
hal-00694645v1
|
|||
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⟩
Communication dans un congrès
hal-00336118v1
|
|||
A Theory of Contracts for Web ServicesWorkshop on Formal Languages and Analysis of Contract-Oriented Software, Oct 2007, Oslo, Norway
Communication dans un congrès
hal-00694649v1
|
|||
|
|
Gradual typing: a new perspectiveProceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-32. ⟨10.1145/3290329⟩
Article dans une revue
hal-02183382v1
|
||
|
|
Static and dynamic semantics of NoSQL languagesPOPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00907166v1
|
|||
A Theory of Contracts for Web ServicesPLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France
Communication dans un congrès
hal-00152547v1
|
|||
|
|
Set-Theoretic Types for Polymorphic VariantsACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
Communication dans un congrès
hal-01325644v2
|
||
Set-theoretic foundation of parametric polymorphism and subtypingICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan
Communication dans un congrès
hal-00618839v1
|
|||
|
|
On global types and multi-party sessionsLogical Methods in Computer Science, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩
Article dans une revue
hal-00694636v1
|
||
|
|
Revisiting Occurrence TypingScience of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
Article dans une revue
hal-02181137v5
|
||
Programmation modulaire avec surcharge et liaison tardiveJournées Francophones des Langages Applicatifs., Jan 1996, X, France
Communication dans un congrès
hal-01125080v1
|
|||
Typed iterators for XMLICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩
Communication dans un congrès
hal-00336119v1
|
|||
Name-passing calculi and crypto primitives: a surveyFoundations of Security Analysis and Design, Springer, pp.91-138, 2004, LNCS n. 2946
Chapitre d'ouvrage
hal-00152565v1
|
|||
A Graphical Representation for Biological Processes in the Stochastic pi-calculusTransactions on Computational Systems Biology, 2006, 7, pp.123-152. ⟨10.1007/11905455_7⟩
Article dans une revue
istex
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
Communication dans un congrès
hal-00152690v1
|
|||
|
|
Programming with union, intersection, and negation types2021
Pré-publication, Document de travail
hal-03389659v1
|
||
|
|
Gradual typing with union and intersection typesProceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 - 28. ⟨10.1145/3110285⟩
Article dans une revue
hal-01643309v1
|