Publication de la collection HAL LS2N-GALLINETTE pour 2020
Revues internationales avec comité de lecture (ART_INT)
- [1] G. Jaber. SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020, vol. 28.https://hal.science/hal-02388621v1
- [2] Z. Cheng, M. Tisi, R. Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. In Software and Systems Modeling ; éd. Springer Verlag, 2020, vol. 19.https://hal.science/hal-02333564v1
- [3] B. Ahrens, A. Hirschowitz, A. Lafont, M. Maggesi. Reduction Monads and Their Signatures. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://inria.hal.science/hal-02380682v1
- [4] M. Sozeau, S. Boulier, Y. Forster, N. Tabareau, T. Winterhalter. Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://hal.science/hal-02380196v2
- [5] P. Pédrot, N. Tabareau. The Fire Triangle. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2020.https://hal.science/hal-02383109v1
- [6] M. Sozeau, A. Anand, S. Boulier, C. Cohen, Y. Forster, F. Kunze, G. Malecha, N. Tabareau, T. Winterhalter. The MetaCoq Project. In Journal of Automated Reasoning ; éd. Springer Verlag, 2020.https://inria.hal.science/hal-02167423v1
- [7] D. Ara, M. Lucas. The folk model category structure on strict $\omega$-categories is monoidal. In Theory and Applications of Categories ; éd. Mount Allison University, 2020, vol. 35, num. 21.https://hal.science/hal-02386617v1
- [8] S. Boulier, N. Tabareau. Model structure on the universe of all types in interval type theory. In Mathematical Structures in Computer Science ; éd. Cambridge University Press (CUP), 2020.https://inria.hal.science/hal-02966633v1
- [9] Ã. Miquey. Revisiting the duality of computation: an algebraic analysis of classical realizability models. In CSL 2020 - Conference on Computer Science Logic, janvier 2020, Barcelone, Espagne.https://hal.science/hal-02305560v2
- [10] A. Mörtberg, L. Pujet. Cubical Synthetic Homotopy Theory. In CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, janvier 2020, New Orleans, états-Unis.https://hal.science/hal-02394145v1
- [11] Ã. Miquey, X. Montillet, G. Munch-Maccagnoni. Dependent Type Theory in Polarised Sequent Calculus (abstract). In TYPES 2020 - 26th International Conference on Types for Proofs and Programs, mars 2020, Torino, Italie.https://inria.hal.science/hal-02505671v1
- [12] R. Affeldt, C. Cohen, M. Kerjean, A. Mahboubi, D. Rouhling, K. Sakaguchi. Competing inheritance paths in dependent type theory: a case study in functional analysis. In IJCAR 2020 - International Joint Conference on Automated Reasoning, juin 2020, Paris, France.https://inria.hal.science/hal-02463336v2
- [13] P. Pédrot. Russian Constructivism in a Prefascist Theory. In LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2020, Saarbrücken, Allemagne.https://inria.hal.science/hal-02548315v1
- [14] G. Munch-Maccagnoni. Towards better systems programming in OCaml with out-of-heap allocation. In ML Workshop 2020, août 2020, Jersey City, états-Unis.https://inria.hal.science/hal-03142386v1
- [15] A. Hirschowitz, T. Hirschowitz, A. Lafont. Modules over monads and operational semantics. In 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France.In Zena M. Ariola (éds.), . Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2020.https://hal.science/hal-02338144v3
