Symmetric lenses

@inproceedings{Hofmann2011SymmetricL,
  title={Symmetric lenses},
  author={M. Hofmann and B. Pierce and Daniel Wagner},
  booktitle={POPL '11},
  year={2011}
}
Lenses--bidirectional transformations between pairs of connected structures--have been extensively studied and are beginning to find their way into industrial practice. However, some aspects of their foundations remain poorly understood. In particular, most previous work has focused on the special case of asymmetric lenses, where one of the structures is taken as primary and the other is thought of as a projection, or view. A few studies have considered symmetric variants, where each structure… Expand
Symmetric Edit Lenses: A New Foundation for Bidirectional Languages
Synthesizing symmetric lenses
Edit lenses
Multicategories of Multiary Lenses
Universal Updates for Symmetric Lenses
Relating Algebraic and Coalgebraic Descriptions of Lenses
Coalgebraic Update Lenses
Lenses and Learners
Symmetric delta lenses and spans of asymmetric delta lenses
...
1
2
3
4
5
...

References

SHOWING 1-4 OF 4 REFERENCES
Towards an Algebraic Theory of Bidirectional Transformations
Matching lenses: Alignment and view up- 11 2010/7/16 date
  • In ACM SIGPLAN International Conference on Functional Programming (ICFP),
  • 2010
Augeas: A Linux configuration API, February 2007. Available from http://augeas.net
  • 2007
Designing Constraint Maintainers for User Interaction