1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2025
Custom Representations of Inductive Families
Constantine Theocharis, Edwin Brady
Inductive families provide a convenient way of programming with dependent types. Yet, when it comes to compilation, their default linked-tree runtime representations, as well as th…
cs.PL2024★ 1 cited
Type-level Property Based Testing
Thomas Ekström Hansen, Edwin Brady
We present an automated framework for solidifying the cohesion between software specifications, their dependently typed models, and implementation at compile time. Model Checking a…
cs.PL2023
Type Theory as a Language Workbench
Jan de Muijnck-Hughes, Guillaume Allais, Edwin Brady
Language Workbenches offer language designers an expressive environment in which to create their DSLs. Similarly, research into mechanised meta-theory has shown how dependently typ…