Synthesizing bijective lenses

• 期刊名称Proceedings of the ACM on Programming Languages
• 作者Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C.; Walker, David; Zdancewic, Steve
• 卷第2卷
• 电子ISSN2475-1421
• 文件大小376.23KB
• 发表时间2017-12-27
• DOI10.1145/3158089
• 页码1-30