Akira Tanaka. Coq to C Translation with Partial Evaluation. Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '21), 2021-01-18, Virtual. (paper) (slides) (DOI)
[latest]