A Type-Based Approach to Divide-and-Conquer Recursion in Coqdl.acm.org3 points0823498723498723 years ago