Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2022

Nombre de publications retournées : 7


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
421

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (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.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/hal-03367052v4

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [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://hal.inria.fr/hal-03510671

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [7] 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://hal.inria.fr/hal-03626851
Copyright : LS2N 2017 - Mentions Légales - 
 -