311 citations · 1.2k across the 38 of their papers we have counts for
1 paper · 2 filters
Peng Fu, Peter Selinger
We present an approach to develop folds for nested data types using dependent types. We call such folds dependently typed folds, they have the following properties. (1)…