학술논문
A Type-Based Approach to Divide-and-Conquer Recursion in Coq
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 9 January 2023, 7:61-90)
Subject
Language
English
ISSN
24751421