Filtrer vos résultats
- 38
- 5
- 24
- 12
- 4
- 1
- 1
- 1
- 4
- 43
- 2
- 3
- 2
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 41
- 1
- 1
- 22
- 21
- 8
- 7
- 7
- 5
- 3
- 1
- 1
- 1
- 1
- 43
- 8
- 7
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 résultats
|
|
|
triés par
|
|
|
A unified treatment of syntax with bindersJournal of Functional Programming, 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
Article dans une revue
hal-00772721v1
|
||
Stratified type inference for generalized algebraic data typesPOPL'06 - Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, Jan 2006, Charleston, South Carolina, United States. pp.232--244
Communication dans un congrès
inria-00629091v1
|
|||
|
|
Visitors unchainedProceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 - 28. ⟨10.1145/3110272⟩
Article dans une revue
hal-01670735v1
|
||
|
|
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD LibraryLogical Methods in Computer Science, 2023, 19 (4), pp.51. ⟨10.46298/lmcs-19(4:5)2023⟩
Article dans une revue
hal-04292453v1
|
||
|
|
Spy Game: Verifying a Local Generic Solver in IrisProceedings of the ACM on Programming Languages, 2020, 4 (POPL), ⟨10.1145/3371101⟩
Article dans une revue
hal-02351562v1
|
||
|
|
The ins and outs of iteration in Mezzo2013
Pré-publication, Document de travail
hal-00912381v1
|
||
|
|
Validating LR(1) ParsersESOP 2012 - Programming Languages and Systems - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.397-416, ⟨10.1007/978-3-642-28869-2_20⟩
Communication dans un congrès
hal-01077321v1
|
||
|
|
Time Credits and Time Receipts in IrisEuropean Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.3-29, ⟨10.1007/978-3-030-17184-1_1⟩
Communication dans un congrès
hal-02183311v1
|
||
Towards efficient, typed LR parsers.ACM Workshop on ML, Mar 2006, Portland, Oregon, United States
Communication dans un congrès
inria-00629090v1
|
|||
|
|
A step-indexed Kripke Model of Hidden StateMathematical Structures in Computer Science, 2013, 23 (1), pp.1--54
Article dans une revue
hal-00772757v1
|
||
|
|
JOIN(X): Constraint-Based Type Inference for the Join-CalculusProceedings of the 10th European Symposium on Programming (ESOP'01), Apr 2001, Genova, pp.221--236
Communication dans un congrès
inria-00000029v1
|
||
|
|
Programming with permissions: the Mezzo languageACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Communication dans un congrès
hal-01092204v1
|
||
|
|
The Design and Formalization of Mezzo, a Permission-Based Programming LanguageACM Transactions on Programming Languages and Systems (TOPLAS), 2016, 38 (4), pp.94. ⟨10.1145/2837022⟩
Article dans une revue
hal-01246534v1
|
||
|
|
A Separation Logic for Heap Space under Garbage CollectionProceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498672⟩
Article dans une revue
hal-03478162v1
|
||
|
|
Formal Proof and Analysis of an Incremental Cycle Detection AlgorithmInteractive Theorem Proving, Sep 2019, Portland, United States
Communication dans un congrès
hal-02167236v1
|
||
|
|
Specification and Verification of a Transient Stack (Artifact)Logiciel hal-03473197v1 |
||
|
|
Specification and Verification of a Transient StackCPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
Communication dans un congrès
hal-03472028v1
|
||
|
|
A few lessons from the Mezzo projectSummit oN Advances in Programming Languages (SNAPL), May 2015, Asilomar, United States. ⟨10.4230/LIPIcs.SNAPL.2015.221⟩
Communication dans un congrès
hal-01246360v1
|
||
|
|
Depth-First Search and Strong Connectivity in CoqVingt-sixièmes journées francophones des langages applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01096354v1
|
||
|
|
A Type System for Effect Handlers and Dynamic LabelsEuropean Symposium on Programming, Apr 2023, Paris, France. pp.225-252, ⟨10.1007/978-3-031-30044-8_9⟩
Communication dans un congrès
hal-03886668v2
|
||
|
|
Cosmo: A Concurrent Separation Logic for Multicore OCamlProceedings of the ACM on Programming Languages, 2020, 4 (ICFP), ⟨10.1145/3408978⟩
Article dans une revue
hal-02929998v1
|
||
|
|
Correct, Fast LR(1) Unparsing35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04407116v1
|
||
|
|
Thunks and Debits in Separation Logic with Time CreditsPOPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom
Communication dans un congrès
hal-04238691v2
|
||
|
|
A Semi-Syntactic Soundness Proof for HM(X)[Research Report] RR-4150, INRIA. 2001
Rapport
inria-00072475v1
|
||
|
|
A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.718-747. ⟨10.1145/3571218⟩
Article dans une revue
hal-03823056v2
|
||
|
|
A typed store-passing translation for general referencesPOPL 2011: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan 2011, Austin, United States. ⟨10.1145/1925844.1926403⟩
Communication dans un congrès
hal-01081187v1
|
||
|
|
Type Soundness and Race Freedom for MezzoFLOPS 2014: 12th International Symposium on Functional and Logic Programming, Jun 2014, Kanazawa, Japan. pp.253 - 269, ⟨10.1007/978-3-319-07151-0_16⟩
Communication dans un congrès
hal-01081194v1
|
||
|
|
A Separation Logic for Effect HandlersProceedings of the ACM on Programming Languages, 2021, 5 (POPL), ⟨10.1145/3434314⟩
Article dans une revue
hal-03049514v1
|
||
|
|
Implémentation d'un système de modules évolué en Caml-Light[Rapport de recherche] RR-2449, INRIA. 1995
Rapport
inria-00074226v1
|
||
|
|
Hindley-Milner Elaboration in Applicative StyleICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Goteborg, Sweden. ⟨10.1145/2628136.2628145⟩
Communication dans un congrès
hal-01081233v1
|
- 1
- 2