J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce. Quotient lenses. In James Hook, Peter Thiemann, editors, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. pages 383-396, ACM, 2008. [doi]
@inproceedings{FosterPP08,
title = {Quotient lenses},
author = {J. Nathan Foster and Alexandre Pilkiewicz and Benjamin C. Pierce},
year = {2008},
doi = {10.1145/1411204.1411257},
url = {http://doi.acm.org/10.1145/1411204.1411257},
tags = {control systems, programming languages, parsimony, rule-based, bidirectional transformation, translation, data-flow language, refinement, transformation language, composition, type system, data-flow programming, data-flow, C++, transformation system, lenses, programming, database, type theory, systematic-approach, transformation, program transformation, domain-specific language},
researchr = {https://researchr.org/publication/FosterPP08},
cites = {0},
citedby = {0},
pages = {383-396},
booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
editor = {James Hook and Peter Thiemann},
publisher = {ACM},
isbn = {978-1-59593-919-7},
}