research
∙
05/02/2022
Propositional Equality for Gradual Dependently Typed Programming
Gradual dependent types can help with the incremental adoption of depend...
share
research
∙
07/10/2021
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families
Harnessing the power of dependently typed languages can be difficult. Pr...
research
∙
06/15/2019
Approximate Normalization for Gradual Dependent Types
Dependent types help programmers write highly reliable code. However, th...
research
∙
05/23/2019