马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 编辑镜头。 （英语） Zbl 1321.68154号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。495-508 (2012). 引用于6文件 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） 全文： 内政部