7 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
J. Launchbury, S. Krstic, T. E. Sauerwein
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit…