69 citations · 205 across the 22 of their papers we have counts for
1 paper · 1 filter
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the…