51 citations · 113 across the 16 of their papers we have counts for
1 paper · 1 filter
Andreas Abel, Gabriel Scherer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To separate static and dynamic…