All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants

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]

Abstract

Abstract is missing.