比约恩·布林特;阿恩·兰塔 几乎是合成函数的模式。 (英语) Zbl 1321.68140号 2006年9月18日至20日,美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-309-3)。ACM SIGPLAN Notices 41,No.9,216-226(2006)。 MSC公司: 68甲18 函数编程和lambda演算 68甲15 编程语言理论 68问题65 抽象数据类型;代数规范 关键词:抽象语法;依赖型理论;哈斯克尔;Java语言;横向的;访问者模式 软件:息肉;哈斯克尔;阿格达;BNF转换器;IFT博士 PDF格式BibTeX公司 XML格式引用 \textit{B.Bringert}和\textit{A.Ranta},in:第11届ACM SIGPLAN函数编程国际会议论文集,ICFP'06,俄勒冈州波特兰,美国,2006年9月18-20日。纽约州纽约市:计算机协会(ACM)。216--226(2006;Zbl 1321.68140) 全文: 内政部