27 citations · 83 across the 17 of their papers we have counts for
1 paper · 2 filters
Danel Ahman, James Chapman, Tarmo Uustalu
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of sha…