Theory and applications of inverting functions as folds

Shin-Cheng Mu, Richard S. Bird. Theory and applications of inverting functions as folds. Science of Computer Programming, 51(1-2):87-116, 2004. [doi]

Abstract

Abstract is missing.