research
∙
09/11/2022
Eiger: Auditable, executable, flexible legal regulations
Despite recent advances in communication and automation, regulations are...
share
research
∙
06/28/2021
Seeking Stability by being Lazy and Shallow
Designing a language feature often requires a choice between several, si...
research
∙
11/08/2020
A graded dependent type system with a usage-aware semantics (extended version)
Graded Type Theory provides a mechanism to track and reason about resour...
research
∙
11/12/2019
Kind Inference for Datatypes: Technical Supplement
In recent years, languages like Haskell have seen a dramatic surge of ne...
research
∙
05/31/2019
A Role for Dependent Types in Haskell (Extended version)
Modern Haskell supports zero-cost coercions, a mechanism where types tha...
research
∙
06/09/2018