Functional pearl: Unfolding pointer algorithms (2001)

by Richard S. Bird
Venue:Journal of Functional Programming