Skip to main content

Theory and Applications of Inverting Functions as Folds

Shin−Cheng Mu and Richard S. Bird

Journal
Science of Computer Programming
Number
1−2
Pages
87−116
Volume
51
Year
2004