Synthesizing symmetric lenses
Miltner, Anders; Maina, Solomon; Fisher, Kathleen; Pierce, Benjamin C.; Walker, David; Zdancewic, Steve
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Miltner, Anders; Maina, Solomon; Fisher, Kathleen; Pierce, Benjamin C.; Walker, David; Zdancewic, Steve
- 卷第3卷
- 电子ISSN2475-1421
- 文件大小461.27KB
- 发表时间2019-07-26
- DOI10.1145/3341699
- 页码1-28