Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter. All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants. Proceedings of the ACM on Programming Languages, 9(POPL):2253-2281, 2025. [doi]
@article{PoiretGMPSTT25,
title = {All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants},
author = {Josselin Poiret and Gaëtan Gilbert and Kenji Maillard and Pierre-Marie Pédrot and Matthieu Sozeau and Nicolas Tabareau and Éric Tanter},
year = {2025},
doi = {10.1145/3704912},
url = {https://doi.org/10.1145/3704912},
researchr = {https://researchr.org/publication/PoiretGMPSTT25},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {9},
number = {POPL},
pages = {2253-2281},
}