The zipper (1997)

by G Huet
Venue:Journal of Functional Programming