Publications

A Type-Based Approach to Divide-and-Conquer Recursion in Coq, Abreu, Pedro and Delaware, Benjamin and Hubers, Alex and Jenkins, Christa and Morris, J. Garrett and Stump, Aaron, POPL’23

Presentations

POPL’20 Poster - How Small Can We Make A Useful Type Theory?

Datatypes Presentation for week 2 at Nomadic Labs