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
∙
10/27/2020
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
Abstracting Gradual Typing (AGT) is a systematic approach to designing g...
research
∙
06/15/2019