马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 编辑镜头。 (英语) Zbl 1321.68154号 第39届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,POPL’12,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1083-3)。495-508 (2012). 引用于5文件 MSC公司: 68甲18 函数编程和lambda演算 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68第05页 数据结构 关键词:代数;双向编程;编辑镜头;对称的 引文:Zbl 1077.68015号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人,in:第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’12,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约州纽约市:计算机协会(ACM)。495-508(2012年;Zbl 1321.68154) 全文: 内政部