摘要
M.Abbott、T.Altenkirch、C.McBride和N.Ghani。 数据δ:区分数据结构。 芬丹。 Inf.,65:1--282004年。 谷歌学者 数字图书馆 A.V.Aho、R.Sethi和J.D.Ullman。 编译器:原理、技术和工具。 艾迪森·韦斯利,1988年。 谷歌学者 数字图书馆 R.Atkey。 免费语法:使用参数表示带有绑定的语法。 在2009年的TLCA'09中。 谷歌学者 数字图书馆 A.Baars、S.Doaitse Swierstra和M.Viera。 类型化语法的类型化转换:左角转换。 电子。 理论注释。 计算。 科学。, 253(7), 2010. 谷歌学者 数字图书馆 R.Bird和R.Paterson。 嵌套数据类型的通用折叠。 《计算的形式方面》,11:11---21999。 谷歌学者 数字图书馆 R.S.Bird和L.G.L.T.Meertens。 嵌套的数据类型。 1998年MPC。 谷歌学者 数字图书馆 J.A.布尔佐夫斯基。 正则表达式的导数。 J.ACM,1964年11月。 谷歌学者 数字图书馆 P.P.陈。 实体关系模型——朝向统一的数据视图。 ACM事务处理。 数据库系统。, 1(1):9--36, 1976. 谷歌学者 数字图书馆 A.Chlipala。 机械化语义的参数化高阶抽象语法。 2008年ICFP。 谷歌学者 数字图书馆 N.A.丹尼尔森。 解析器组合器总数。 2010年ICFP’10。 谷歌学者 数字图书馆 J.Despeyroux、A.Felty和A.Hirschowitz。 Coq中的高阶抽象语法。 1995年TLCA中。 谷歌学者 数字图书馆 D.Devriese和F.Piessens。 显式递归语法组合子-浅解析器DSL的更好模型。 在PADL 2011、2011中。 谷歌学者 数字图书馆 M.Erwig。 归纳图和函数图算法。 J.功能。 程序。, 11, 2001. 谷歌学者 数字图书馆 L.Fegaras和T.Sheard。 使用嵌入式函数(或来自外层空间的程序)重新审视数据类型上的变形。 1996年POPL'96。 谷歌学者 数字图书馆 N.Ghani、M.Hamana、T.Uustalu和V Vene。 将循环结构表示为嵌套数据类型。 2006年TFP’06。 谷歌学者 J.Gibbons。 有向无环图的一种初始代数方法。 1995年MPC’95。 谷歌学者 数字图书馆 J.Gibbons。 数据类型通用编程。 在数据类型通用编程春季学校,《计算机科学讲义》第4719卷。 Springer-Verlag,2007年。 谷歌学者 数字图书馆 J.Gibbons和B.C.d.S.Oliveira。 迭代器模式的本质。 J.功能。 程序。, 19(3-4), 2009. 谷歌学者 数字图书馆 A.吉尔。 Haskell中的类型安全可观察共享。 在Haskell'092009年。 谷歌学者 数字图书馆 M.哈马纳。 循环共享树结构的初始代数语义。 《计算机科学中的逻辑方法》,6(3),2010年。 谷歌学者 F.Honsell、M.Miculan和I.Scagnetto。 hoas中名义代数元推理的公理方法。 2001年1月ICALP。 谷歌学者 数字图书馆 J.休斯。 懒散的备忘录功能。 1985年FPCA。 谷歌学者 数字图书馆 P.Jansson和J.Jeuring.Polyp——一种多类型编程语言扩展。 1997年POPL。 谷歌学者 数字图书馆 X.Leroy、D.Doligez、A.Frisch、J.Garrigue、D.Rémy和J.Vouillon。 OCaml系统(3.12版):文档和用户手册。 国家信息与自动化研究所,2011年。 谷歌学者 C.Martin、J.Gibbons和I.Bayley。 用于嵌套数据类型的有纪律、高效、通用的折叠。 表Asp。 计算。, 16, 2004. 谷歌学者 数字图书馆 C.Mcbride和R.Paterson。 具有效果的应用程序。 J.功能。 程序。, 18(1), 2008. 谷歌学者 数字图书馆 E.Meijer和G.Hutton。 太空中的香蕉:将折叠和展开扩展为指数型。 1995年FPCA。 谷歌学者 数字图书馆 M.Might、D.Darais和D.Spiewak。 用衍生物分析:一种功能性珍珠。 在2011年11月的ICFP中。 谷歌学者 数字图书馆 R.Milner、M.Tofte、R.Harper和D.Macqueen。 标准ML的定义-修订。 麻省理工学院出版社,1997年。 谷歌学者 交叉引用 B.C.d.S.Oliveira和Andres Löh。 领域特定语言的抽象语法图。 未发布。 手稿可在 http://ropas.snu.ac.kr/ ~bruno/papers/ASGDSL.pdf,2012年。 谷歌学者 S.Peyton Jones等人,《哈斯克尔98语言和库:修订报告》。 函数编程杂志,13(1):0-2552003。 谷歌学者 S.Peyton Jones、D.Vytiniotis、S.Weirich和M.Shields。 任意库类型的实用类型推断。 J.功能。 程序。, 17:1--82, 2007. 谷歌学者 数字图书馆 S.Peyton Jones、D.Vytiniotis、S.Weirich和G.Washburn。 GADT的基于简单统一的类型推断。 2006年ICFP。 谷歌学者 数字图书馆 F.Pfenning和C.Elliot。 高阶抽象语法。 1988年PLDI’88。 谷歌学者 数字图书馆 F.波蒂埃。 ML中的惰性最小不动点。未发布。 手稿可在 http://gallium.inria.fr/ ~fpottier/publis/fpottie-fix.pdf,2009年。 谷歌学者 J.C.雷诺兹。 类型、抽象和参数多态性。 国际单项体育联合会大会,第513-523页,1983年。 谷歌学者 P.Wadler。 免费的定理! 1989年FPCA。 谷歌学者 数字图书馆 P.Wadler。 函数式编程的本质。 1992年POPL'92。 谷歌学者 数字图书馆 G.Washburn和S.Weirich。 盒子疯了:用参数多态性编码高阶抽象语法。 《函数编程杂志》,18:87--1402008年。 谷歌学者 数字图书馆
建议
特定领域语言的抽象语法图 PEPM’13:ACM SIGPLAN 2013部分评估和程序操作研讨会会议记录 本文提出了一种使用抽象语法图(ASG)表示嵌入式领域特定语言(EDSL)的方法。 这种表示的目的是处理定义需要观察或保存的操作的重要问题。。。