Publications
Filtres
Publications référencées sur HAL GALLINETTE en 2025 
Nombre de publications référencées : 16
Ventilation par types
Revues internationales avec comité de lecture
- [1] J. Poiret, G. Gilbert, K. Maillard, P. Pédrot, M. Sozeau, N. Tabareau, É. Tanter. All Your Base Are Belong to Us, in Proceedings of the ACM on Programming Languages, vol. 9, pp. 1-34, 2025 DOI
- [2] L. Pujet, Y. Leray, N. Tabareau. Observational Equality Meets CIC, in ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 47, no. 2, pp. 1-35, 2025 DOI
- [3] C. Cohen, E. Crance, A. Mahboubi. Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence, in ACM Transactions on Programming Languages and Systems (TOPLAS), pp. 1-40, 2025 DOI
- [4] P. Pédrot. Upon This Quote I Will Build My Church Thesis, in Communications of the ACM, pp. 1-8, 2025 DOI
- [5] B. Ahrens, A. Lafont, T. Lamiaux. 2-Functoriality of Initial Semantics, and Applications, in Proceedings of the ACM on Programming Languages, vol. 9, no. ICFP, pp. 643-674, 2025 DOI
- [6] E. Aksnes, O. Amini, M. Piquerez, K. Shaw. Cohomologically tropical varieties, in Journal of the Institute of Mathematics of Jussieu, vol. 24, no. 6, pp. 2543 – 2572, 2025 DOI
- [7] K. Jacobs, M. Toro, N. Tabareau, É. Tanter. Robust Dynamic Embedding for Gradual Typing *, in Proceedings of the ACM on Programming Languages, vol. 9, no. ICFP, pp. 1-26, 2025 DOI
Conférences internationales avec comité de lecture et actes
- [8] P. Borthelle, T. Hirschowitz, G. Jaber, Y. Zakowski. An abstract, certified account of operational game semantics, in ESOP 2025 – 34th European Symposium on Programming, Hamilton, Ontario, Canada, 2025 DOI
- [9] Y. Xu, K. Maillard. Geometric Reasoning in Lean: from Algebraic Structures to Presheaves, in TYPES 2025 – 31st International Conference on Types for Proofs and Programs, Glasgow, Royaume-Uni, 2025
- [10] M. Baillon, Y. Forster, A. Mahboubi, P. Pédrot, M. Piquerez. A Zoo of Continuity Properties in Constructive Type Theory, in 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025), Birmingham, France, 2025 DOI
- [11] T. Felicissimo, J. Jouannaud. Sort-Based Confluence Criteria for Non-Left-Linear Higher-Order Rewriting, in 30th International Conference on Automated Deduction, Stuttgart, Allemagne, 2025 DOI
- [12] H. Jaafar, G. Jaber. Operational Game Semantics for Generative Algebraic Effects and Handlers, in PPDP 2025 – 27th International Symposium on Principles and Practice of Declarative Programming, Rende, Italie, 2025 DOI
- [13] T. Díaz, K. Maillard, N. Tabareau, É. Tanter. , in OOPSLA 2025 – ACM Conference on Object Oriented Programming Systems Languages and Applications, Singapore, Singapour, 2025 DOI
- [14] T. Stoskopf, C. Cohen, N. Tabareau. Babel-formal: Translation of Proofs between Lean and Rocq, in The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025, San Diego, états-Unis, 2025
Autres publications
- [16] R. Affeldt, Y. Bertot, A. Bruni, C. Cohen, M. Kerjean, A. Mahboubi, D. Rouhling, P. Roux, K. Sakaguchi, Z. Stone, P. Strub, L. Théry. Mathematical Components Analysis, 2025