research
∙
06/27/2023
Frex: dependently-typed algebraic simplification
We present an extensible, mathematically-structured algebraic simplifica...
share
research
∙
01/30/2023
Type Theory as a Language Workbench
Language Workbenches offer language designers an expressive environment ...
research
∙
04/01/2021
Idris 2: Quantitative Type Theory in Practice
Dependent types allow us to express precisely what a function is intende...
research
∙
04/02/2019