1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Christopher Jenkins, Andrew Marmaduke, Aaron Stump
Large eliminations provide an expressive mechanism for arity- and type-generic programming. However, as large eliminations are closely tied to a type theory's primitive notion of i…