2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…