1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Type Theory With Erasure
Constantine Theocharis, Edwin Brady
Erasure enriches type theory with a distinction between runtime relevant and irrelevant data, allowing the compilation step to safely erase the latter. Versions of this feature are…
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…