Boomerang: resourceful lenses for string data (2008)

by A Bohannon, J N Foster, B C Pierce, A Pilkiewicz, A Schmitt
Venue:In POPL ’08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages