Functional pearl: Unfolding pointer algorithms (2001)

by Richard Bird
Venue:Journal of Functional Programming