research
∙
05/01/2020
Efficient lambda encodings for Mendler-style coinductive types in Cedille
In the calculus of dependent lambda eliminations (CDLE), it is possible ...
share
research
∙
11/29/2018
Course-of-Value Induction in Cedille
In the categorical setting, histomorphisms model a course-of-value recur...
research
∙
03/21/2018
Generic Zero-Cost Reuse for Dependent Types
Dependently typed languages are well known for having a problem with cod...
research
∙
02/02/2018