research
∙
11/29/2018
Course-of-Value Induction in Cedille
In the categorical setting, histomorphisms model a course-of-value recur...
share
research
∙
03/21/2018
Generic Zero-Cost Reuse for Dependent Types
Dependently typed languages are well known for having a problem with cod...
research
∙
03/06/2018
