Publication de la collection HAL LS2N-GALLINETTE pour 2024
Nombre de publications retournées : 1ART_INT |
---|
1 |
Chiffres en cours de consolidation
Revues internationales avec comité de lecture (ART_INT)
- [1] Y. Forster, M. Sozeau, N. Tabareau. Verified Extraction from Coq to OCaml. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2024, vol. 8, num. PLDI.https://inria.hal.science/hal-04329663v1