Home » Team publications


Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2023

Total of the publications found : 15

Overview of LS2N-GALLINETTE publications by types
ART_INT
COMM_INT
THESE
AUTRES
2931

International journals with reviewing committee (ART_INT)

    • [1] L. Pujet, N. Tabareau. Impredicative Observational Equality. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2023, vol. 7, num. POPL.
      https://hal.science/hal-03857705v2
    • [2] P. Haselwarter, E. Rivas, A. van Muylder, T. Winterhalter, C. Abate, N. Sidorenco, C. Hriţcu, K. Maillard, B. Spitters. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. In ACM Transactions on Programming Languages and Systems (TOPLAS) ; éd. ACM, 2023, vol. 45, num. 3.
      https://hal.science/hal-04273257v1

International conferences with reviewing committee (COMM_INT)

    • [3] V. Blot, D. Cousineau, E. Crance, L. Dubois de Prisque, C. Keller, A. Mahboubi, P. Vial. Compositional pre-processing for automated reasoning in dependent type theory. In CPP 2023 - Certified Programs and Proofs, janvier 2023, Boston, états-Unis.
      https://inria.hal.science/hal-03901019v3
    • [4] Y. Forster, F. Jahn, G. Smolka. A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory. In CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, janvier 2023, Boston, états-Unis.
      https://inria.hal.science/hal-03891390v1
    • [5] Y. Forster, F. Jahn. Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq. In CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, février 2023, Warsaw, Pologne.
      https://inria.hal.science/hal-03901942v1
    • [6] D. Hirschkoff, G. Jaber, E. Prebet. Deciding contextual equivalence of ν-calculus with effectful contexts (full version). In Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023., avril 2023, Paris, France.
      https://hal.science/hal-03955303v1
    • [7] A. Adjedj, M. Lennon-Bertrand, K. Maillard, L. Pujet. Engineering logical relations for MLTT in Coq. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04379245v1
    • [8] A. Mahboubi, G. Melquiond. Manifest Termination. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04172297v1
    • [9] G. Gilbert, P. Pédrot, M. Sozeau, N. Tabareau. From Lost to the River: Embracing Sort Proliferation. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04378939v1
    • [10] G. Gilbert, Y. Leray, N. Tabareau, T. Winterhalter. The Rewster: The Coq Proof Assistant with Rewrite Rules. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04403667v1
    • [11] G. Munch-Maccagnoni. Resource polymorphism: proposal for integrating first-class resources into ML. In Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023, septembre 2023, Seattle, états-Unis.
      https://hal.science/hal-04332484v1

PhD Thesis (THESE)

Other publications (AUTRES)

    • [15] R. Affeldt, Y. Bertot, C. Cohen, P. Roux, K. Sakaguchi, E. Tassi. Porting Coq Scripts to the Mathematical Components Library Version 2. Rapport technique, 2023 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur, National Institute of Advanced Industrial Science and Technology (AIST), Japan, ONERA / DTIS, Université de Toulouse, France.
      https://hal.science/hal-04225130v1
Copyright : LS2N 2017 - Legal notices - 
 -