Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi (System Description) C Cohen, K Sakaguchi, E Tassi International Conference on Formal Structures for Computation and Deduction …, 2020 | 41* | 2020 |
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis R Affeldt, C Cohen, M Kerjean, A Mahboubi, D Rouhling, K Sakaguchi International Joint Conference on Automated Reasoning, 3--20, 2020 | 32 | 2020 |
Validating Mathematical Structures K Sakaguchi International Joint Conference on Automated Reasoning, 138--157, 2020 | 23 | 2020 |
Program extraction for mutable arrays K Sakaguchi Science of Computer Programming 191, 102372, 2020 | 11 | 2020 |
An intrinsic encoding of a subset of C and its application to TLS network packet processing R Affeldt, K Sakaguchi Journal of Formalized Reasoning 7 (1), 63-104, 2014 | 10 | 2014 |
Reflexive tactics for algebra, revisited K Sakaguchi 13th International Conference on Interactive Theorem Proving (ITP 2022) 237 …, 2022 | 7 | 2022 |
Design patterns of hierarchies for order structures X Allamigeon, Q Canu, C Cohen, K Sakaguchi, PY Strub | 5 | 2023 |
A bargain for mergesorts (functional pearl) — How to prove your mergesort correct and stable, almost for free C Cohen, K Sakaguchi arXiv preprint arXiv:2403.08173, 2024 | | 2024 |