Publications for the collection HAL LS2N-GALLINETTE for 2024
International journals with reviewing committee (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
