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