主机名：页面组件-848d4c4894-xfwgj总加载时间：0渲染日期：2024-06-21T18:38:47.834Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

一流的模式

部分： JFP研究文章

剑桥大学出版社在线出版：2009年3月1日

巴里·杰伊 和
DELIA KESNER公司
巴里·杰伊
附属：
澳大利亚悉尼理工大学（电子邮件：cbj@it.uts.edu.au)
DELIA KESNER公司
附属：
PPS、CNRS和法国巴黎迪德罗巴黎大学（电子邮件：kesner@pps.jussieu.fr)
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

纯模式演算支持模式匹配函数，其中模式是一级公民，可以作为参数传递、计算并作为结果返回。这种新的表达能力支持两种新形式的多态性。路径多态性允许递归函数遍历任意数据结构。模式多态性允许将模式视为参数，这些参数可以从各种来源收集或从训练数据中生成。开发了模式计算的通用框架。它支持由匹配算法的性质参数化的汇流证明，适用于纯模式演算和所有其他已知模式演算。

类型
文章
问询处
函数编程杂志 ,第19卷 ,第2版 2009年3月 第191-225页
版权
版权所有©剑桥大学出版社2009

工具书类

巴德尔,F。&尼普科夫,T。(1998)术语重写和所有这些.剑桥:剑桥大学出版社.交叉参考谷歌学者
巴伦德雷格特,H。(1984)兰姆达演算：句法和语义第103卷，《逻辑和数学基础研究》。阿姆斯特丹:出版社.谷歌学者
巴特,G.公司。,西尔斯泰亚,H。,基什内尔,C、。&利阔里,L。(2003)纯模式类型系统。在第30届美国计算机学会编程语言原理研讨会论文集.莫里塞特,格雷格（ed）中，美国新奥尔良，纽约:美国计算机协会出版社，第页。250–261.谷歌学者
湿疹,M。,Klop公司,J·W·。&德弗里杰,R。（编辑）(2003)术语重写系统–Terese，第55卷，《剑桥理论计算机科学丛书》。剑桥:剑桥大学出版社.谷歌学者
伯恩,C、。,派珀诺,答：。&圭里尼,美国。(1994)Lambda-函数（al）s的正规形式定义。在第五届欧洲程序设计研讨会（ESOP）论文集.圣内拉,唐纳德（d），爱丁堡，第788卷，计算机科学讲稿，柏林:施普林格，第页。135–149.谷歌学者
西尔斯泰亚,H。&动物,G.公司。(2007)基于模式的lambda-calculi的汇合。在第十八届改写技术与应用国际会议论文集.巴德尔,弗兰兹（d），巴黎，第4533卷，计算机科学讲稿，柏林:施普林格，第页。78–92.谷歌学者
西尔斯泰亚,H。&基什内尔,C、。(2001)重写演算——第一部分和第二部分,IGPL逻辑杂志,9 (3),427–498.谷歌学者
德尼古拉,R。,法拉利,G.L.公司。&普格利泽,R。(1998)KLAIM：代理交互和移动性的核心语言.IEEE传输。软件工程 24 (5),315–330.交叉参考谷歌学者
森林,J。&凯斯纳,D。(2003)具有模式的表达式简化系统。在第十四届改写技术与应用国际会议论文集.尼文会斯,罗伯特（d），西班牙巴伦西亚，第2706卷，计算机科学讲稿，柏林:施普林格，第页。107–122.交叉参考谷歌学者
格伦特尔,D。(1985)琳达的创作交流。7(1), 80–112.交叉参考谷歌学者
戈拉,D。&普格利泽,R。(2003)通过动态权限获取实现资源访问和移动性控制。在第30届国际自动化、语言和编程学术讨论会（ICALP）会议记录.拜登,乔斯·C.M。,伦斯特拉,简·卡雷尔,帕罗,约阿希姆&沃金格,格哈德·J。（编辑），荷兰埃因霍温，第2719卷，计算机科学讲稿，柏林:施普林格，第页。119–132.交叉参考谷歌学者
黄,F.年。,杰伊,C.B.公司。&Skillicorn公司,D.B.博士。(2006a） 良好类型的java字节码验证的适应性。在合作研究高级研究中心2006年会议论文集.里昂,凯莉&服装设计师,基督教的（编辑），加拿大多伦多、纽约:美国计算机协会出版社，第页。248–262.谷歌学者
黄,F.Y.公司。,杰伊,C.B.公司。&Skillicorn公司,D.B.博士。(2006b） 使用异构结构编程：使用邦迪.第29届澳大利亚计算机科学会议（ACSC’06）.多比,腮&Estivill-Castro公司,弗拉基米尔（编辑）。ACM公司，第页。287–296.谷歌学者
杰伊,B。(2009)模式微积分：用函数和结构计算.柏林:施普林格.交叉参考谷歌学者
杰伊,B类&凯斯纳,D。(2006)纯模式演算。在第十五届欧洲规划研讨会（ESOP）会议记录.Sestoft公司,彼得（d），奥地利维也纳，第3924卷，计算机科学讲稿，柏林:施普林格，第页。100–114.谷歌学者
杰伊,C.B.公司。(2004)模式演算.ACM事务处理。掠夺。语言系统。 26 (6),911–937.交叉参考谷歌学者
杰伊,C.B.公司。&凯斯纳,D。(2006)作为一流公民的模式。可在http://kern-1pt/hal.archives-ouvertes.fr/hal-00229331/fr/.谷歌学者
卡尔,西。(2004)基本模式匹配计算：关于匹配失败的新观点。在第七届函数与逻辑编程国际研讨会（FLOPS）会议记录.卡梅亚马,Yukiyoshi,斯塔基,彼得·J。（编辑），奈良，日本，第2998卷，计算机科学讲稿，柏林:施普林格，第页。276–290.交叉参考谷歌学者
Klop公司,J-W。(1980)组合减速系统.阿姆斯特丹:数学中心道.谷歌学者
Klop公司,J.-W.公司。,范·奥斯特罗姆,对。&德弗里杰,R。(2008)带模式的Lambda微积分.理论。公司。科学。 398 (1–3),16–31.交叉参考谷歌学者
拉梅尔,R。&佩顿·琼斯,美国。(2003)废弃样板：泛型编程的实用设计模式。在ACM SIGPLAN语言设计与实现类型研讨会论文集.李,彼得（d），美国新奥尔良，第38卷，第3号，SIGPLAN通知，第26-37页。交叉参考谷歌学者
保尔森,拉丁美洲。(1994)伊莎贝尔：一个一般定理的证明者，第828卷，计算机科学课堂讲稿。施普林格.交叉参考谷歌学者
佩顿·琼斯,美国。(1987)函数式程序设计语言的实现.普伦蒂斯·霍尔.谷歌学者
普芬宁,F。&波林·莫林,C、。(1989)构造演算中的归纳定义类型。在第五届编程语义数学基础国际会议论文集.主要,迈克尔·G。,梅尔顿,奥斯丁,错爱,迈克尔·W·。&施密特,大卫·A·。（编辑），美国新奥尔良，第442卷，计算机科学讲稿，柏林:施普林格，第页。209–228.谷歌学者
凡·奥斯特罗姆,对。(1990)带模式的Lambda微积分.阿姆斯特丹:阿姆斯特丹自由大学.谷歌学者
维瑟牌汽车,E.公司。(2004)Stratego/XT的程序转换：StrategoXT-0.9中的规则、策略、工具和系统。在特定领域程序生成：修订论文，第3016卷，计算机科学课堂讲稿，柏林:施普林格第页。216–238.交叉参考谷歌学者
提交响应

讨论

尚未发布此文章的讨论。