Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2008
Quotient lenses
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programmingPages 383–396https://doi.org/10.1145/1411204.1411257There are now a number of BIDIRECTIONAL PROGRAMMING LANGUAGES, where every program can be read both as a forward transformation mapping one data structure to another and as a reverse transformation mapping an edited output back to a correspondingly ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 9 - research-articleJanuary 2008
Boomerang: resourceful lenses for string data
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 407–419https://doi.org/10.1145/1328438.1328487A lens is a bidirectional program. When read from left toright, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an ''update translator'' that takes an input together with an updated output and ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 1