Home » Team publications


Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2022

Total of the publications found : 15

Overview of LS2N-GALLINETTE publications by types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
461121

International journals with reviewing committee (ART_INT)

    • [1] M. Lennon-Bertrand, K. Maillard, N. Tabareau, . Tanter. Gradualizing the Calculus of Inductive Constructions. In ACM Transactions on Programming Languages and Systems (TOPLAS) ; éd. ACM, 2022.
      https://hal.science/hal-02896776v5
    • [2] T. Zimmermann, J. Coolen, J. Gross, P. Pédrot, G. Gilbert. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. In IEEE Software ; éd. Institute of Electrical and Electronics Engineers, 2022.
      https://inria.hal.science/hal-03479327v2
    • [3] K. Maillard, M. Lennon-Bertrand, N. Tabareau, . Tanter. A Reasonably Gradual Type Theory. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2022.
      https://inria.hal.science/hal-03596652v2
    • [4] L. Pujet, N. Tabareau. Observational Equality: Now For Good. In POPL 2022: Symposium on Principles of Programming Languages, janvier 2022, Philadelphia, états-Unis.In Proceedings of the ACM on Programming Languages ; éd. ACM, 2022, vol. 6, num. POPL.
      https://inria.hal.science/hal-03367052v4

International conferences with reviewing committee (COMM_INT)

    • [5] G. Jaber, D. Sangiorgi. Games, mobile processes, Dfunctions. In CSL 2022 - 30th EACSL Annual Conference on Computer Science Logic, février 2022, Göttingen, Allemagne.
      https://hal.science/hal-03407123v1
    • [6] M. Baillon, A. Mahboubi, P. Pédrot. Gardening with the Pythia A model of continuity in a dependent setting. In CSL 2022 - Computer Science Logic, février 2022, Göttingen, Allemagne.
      https://inria.hal.science/hal-03510671v1
    • [7] Y. Forster, F. Kunze, N. Lauermann. Synthetic Kolmogorov Complexity in Coq. In ITP 2022 - 13th International Conference on Interactive Theorem Proving, août 2022, Haifa, Israël.
      https://inria.hal.science/hal-03596267v2
    • [9] G. Munch-Maccagnoni. Efficient “out of heap” pointers for multicore OCaml. In OCaml 2022 - OCaml Users and Developers Workshop, septembre 2022, Ljubljana, Slovénie.
      https://inria.hal.science/hal-03910312v1
    • [10] N. Beldiceanu, J. Cheukam-Ngouonou, R. Douence, R. Gindullin, C. Quimper. Acquiring Maps of Interrelated Conjectures on Sharp Bounds. In CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, juillet 2022, Haifa, Israël.In Solnon, Christine (éds.), . Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2022.
      https://hal.science/hal-03789045v1

National conferences with reviewing committee (COMM_NAT)

    • [11] D. Cousineau, E. Crance, A. Mahboubi. Trakt : Uniformiser les types pour automatiser les preuves (démonstration). In JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, juin 2022, Saint-Médard-d'Excideuil, France.In Chantal Keller (éds.), . , 2022.
      https://inria.hal.science/hal-03626851v1

Books - books sections - directions of work or proceedings (OUV)

PhD Thesis (THESE)

Other publications (AUTRES)

    • [15] Y. Leray. Formalisation et implémentation des propositions strictes dans MetaCoq. Rapport technique, 2022 ; Inria Rennes - Bretagne Atlantique, LS2N-Nantes Université, .
      https://inria.hal.science/hal-04433492v1
Copyright : LS2N 2017 - Legal notices - 
 -