Lenses for Partially-Specified States
Abstract elided by the publisher.
Related papers
- Contract lenses: Reasoning about bidirectional programs via calculation JFP 2023
- Synthesizing quotient lenses ICFP 2018
- Synthesizing symmetric lenses ICFP 2019
- Incremental relational lenses ICFP 2018
- Symmetric lenses POPL 2011
- Matching lenses: alignment and view update ICFP 2010
- Effectful Lenses: There and Back with Different Monads ICFP 2025
- HOBiT: Programming Lenses Without Using Lens Combinators ESOP 2018