Quotient lenses.

J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce

Browse the full ICFP paper archive.