Manuel M.T.查克拉瓦蒂。;加布里埃尔·凯勒;西蒙·佩顿,琼斯;西蒙·马洛 与类关联的类型。 (英语) Zbl 1369.68089号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。1-13 (2005).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.M.T.Chakravarty}等人,in:第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,美国加利福尼亚州长滩,2005年1月12-14日。纽约州纽约市:计算机协会(ACM)。1-13(2005年;Zbl 1369.68089) 全文: 内政部
加尼,尼尔;帕特里夏·约翰;塔尔莫乌斯塔卢;瓦尔莫·维尼 一元增强和广义捷径融合。 (英语) Zbl 1302.68079号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,294-305(2005)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,《第十届ACM SIGPLAN函数式编程国际会议论文集》,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。294--305(2005;Zbl 1302.68079) 全文: 内政部
Manuel M.T.查克拉瓦蒂。;加布里埃尔·凯勒;西蒙·佩顿·琼斯 关联的类型同义词。 (英语) Zbl 1302.68055号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,241-253(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.M.T.Chakravarty}等人,in:第十届ACM SIGPLAN函数式编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。241--253(2005;Zbl 1302.68055) 全文: 内政部
拉尔夫·拉梅尔;西蒙·佩顿,琼斯 用class:extensiblegenericalfunctions废弃样板文件。 (英语) Zbl 1302.68062号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,204-215(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}和\textit{S.P.Jones},摘自:第十届ACM SIGPLAN函数式编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。204-215(2005;Zbl 1302.68062) 全文: 内政部
奥列格·基塞利约夫;单忠杰;丹尼尔·弗里德曼(Daniel P.Friedman)。;阿穆尔·萨布里 回溯、交织和终止monad转换器(功能珍珠)。 (英语) Zbl 1302.68061号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,192-203(2005)。MSC公司:68甲18 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kiselyov}等人,in:第十届ACM SIGPLAN函数式编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。192-203(2005;Zbl 1302.68061) 全文: 内政部
Daan Leijen;安德烈斯·洛赫 MLF的合格类型。 (英语) Zbl 1302.68063号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,144-155(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Leijen}和\textit{A.Löh},in:第十届ACM SIGPLAN函数式编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。144——155(2005;Zbl 1302.68063) 全文: 内政部
托马斯·哈格伦;马克·琼斯。;莱斯利,丽贝卡;安德鲁·托尔马赫 Haskell中操作系统构建的原则方法。 (英语) Zbl 1302.68084号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,116-128(2005)。MSC公司:68N25号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hallgren}等人,in:第十届ACM SIGPLAN函数编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。116-128(2005;Zbl 1302.68084) 全文: 内政部
亨利克·尼尔森 使用广义代数数据类型的函数反应式规划的动态优化。 (英语) Zbl 1302.68189号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,54-65(2005)。MSC公司:第68季度第65季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Nilsson},in:第十届ACM SIGPLAN函数编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。54-65(2005;Zbl 1302.68189) 全文: 内政部
2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。 (英语) Zbl 1282.68042号 ACM SIGPLAN通知40,第9号。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。x、 第331页。(2005).MSC公司:68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(2005;Zbl 1282.68042) 全文: 内政部
拉尔夫·拉梅尔 Haskell(白皮书)中的可编程重写策略。 (英语) Zbl 1272.68190号 Antoy,S.(ed.)等人,《第四届改写和编程简化策略国际研讨会论文集》(WRS 2004),德国亚琛,2004年6月2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》124,第2期,101-112页(2005年)。MSC公司:2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel},电子。理论注释。计算。科学。124,第2号,101--112(2005;Zbl 1272.68190) 全文: 链接
萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔 条件项重写系统的操作终止。 (英语) Zbl 1185.68374号 Inf.流程。莱特。 95,第4期,446-453(2005).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,《信息处理》。莱特。95,第4号,446--453(2005;Zbl 1185.68374) 全文: 内政部
叶卡捷琳娜·斯特凡诺夫;安东尼·斯隆(Anthony M.Sloane)。 功能程序的简单、有效的代码大小缩减。 (英语) 兹比尔1119.68336 Grelck,C.(编辑)等人,《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-26094-3/pbk)。《计算机科学讲义》3474211-225(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Stefanov}和\textit{A.M.Sloane},莱克特。注释计算。科学。3474211-225(2005;Zbl 1119.68336) 全文: 内政部
奥拉夫·奇蒂尔 基于源代码的跟踪探索。 (英语) Zbl 1119.68327号 Grelck,C.(编辑)等人,《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-26094-3/pbk)。计算机科学课堂讲稿3474126-141(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Chitil},莱克特。注释计算。科学。3474、126--141(2005年;Zbl 1119.68327) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 (英语) Zbl 1126.03017号 J.塞姆。计算。 40,第2期,905-954(2005).MSC公司:03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz},J.Symb。计算。40,第2号,905--954(2005;Zbl 1126.03017) 全文: 内政部 链接
埃尔科·维瑟 基于规则的程序转换系统中策略的调查。 (英语) Zbl 1129.68043号 J.塞姆。计算。 40,第1期,831-873(2005).MSC公司:68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Visser},J.Symb。计算。40,编号1831--873(2005;Zbl 1129.68043) 全文: 内政部 链接
艾尔维拉·阿尔伯特;迈克尔·哈纳斯;弗兰克,哈;哈维尔·奥利弗;德国维达尔 声明性多仿射语言的操作语义。 (英语) Zbl 1129.68042号 J.塞姆。计算。 40,第1期,795-829(2005).MSC公司:68问题55 68N17号 68甲18 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Symb。计算。40,第1号,795--829(2005;Zbl 1129.68042) 全文: 内政部
阿尔贝托·德拉·恩西纳;路易斯·拉纳;费尔南多·鲁比奥 在Haskell中规范调试过程。 (英语) Zbl 1169.68359号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722211-226(2005)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.de la Encina}等人,Lect。注释计算。科学。3722、211-226(2005年;Zbl 1169.68359) 全文: 内政部
Ng、K.S。 碱性决策树的泛化行为。 (英语) Zbl 1134.68376号 Kramer,Stefan(编辑)等人,《归纳逻辑编程》。第15届国际会议,ILP 2005,德国波恩,2005年8月10日至13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28177-0/pbk)。计算机科学课堂讲稿3625。人工智能课堂讲稿,246-263(2005)。MSC公司:68问题32 62H30型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Ng},莱克特。注释计算。科学。3625246--263(2005年;Zbl 1134.68376) 全文: 内政部
迪帕克·加格;弗兰克·芬宁 类型定向并发。 (英语) Zbl 1134.68435号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,6-20(2005)。MSC公司:68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}和\textit{F.Pfenning},莱克特。注释计算。科学。3653,6--20(2005;Zbl 1134.68435) 全文: 内政部
阿泽·迪杰斯特拉;斯威斯特拉,S.多伊茨 使用属性语法键入Haskell。 (英语) 兹比尔1158.68354 Vene,Varmo(编辑)等人,《高级功能编程》。2004年8月14日至21日,爱沙尼亚塔尔图,AFP 2004第五国际学校。修订的讲座。柏林:施普林格出版社(ISBN 3-540-28540-7/pbk)。计算机科学课堂讲稿3622,1-72(2005)。MSC公司:68甲18 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Dijkstra}和\textit{S.D.Swierstra},莱克特。注释计算。科学。3622,1--72(2005;Zbl 1158.68354) 全文: 内政部
威廉·哈里森。 多态递归的简单语义。 (英语) Zbl 1159.68369号 Yi,Kwangkeun(编辑),《编程语言和系统》。第三届亚洲研讨会,2005年APLAS,2005年11月2日至5日,日本筑波。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29735-9/pbk)。计算机科学课堂讲稿3780,37-51(2005)。MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Harrison},莱克特。注释计算。科学。3780、37--51(2005年;Zbl 1159.68369) 全文: 内政部
汤姆·施里杰弗斯 约束处理规则的分析、优化和扩展:博士总结。 (英语) Zbl 1165.68346号 Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,435-436(2005)。MSC公司:68N17号 68甲15 2012年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers},莱克特。注释计算。科学。3668、435--436(2005年;Zbl 1165.68346) 全文: 内政部
马塞·特杰费尔;佐尔坦·霍瓦思;塔马斯·科兹克 用对象抽象扩展spark核心语言。 (英语) 兹比尔1101.68454 《网络学报》。 17,第2期,419-445(2005).MSC公司:68甲18 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Tejfel}等人,《网络学报》。17,No.2,419--445(2005;Zbl 1101.68454)
彼得·汉考克;安东·塞泽尔 依赖型理论中的交互式程序和弱最终余代数。 (英语) Zbl 1102.03034号 Crosilla,Laura(编辑)等人,《从集合和类型到拓扑和分析》。构建数学的实用基础。基于研讨会,意大利威尼斯,2003年5月12日至16日。牛津:牛津大学出版社(ISBN 0-19-856651-4/hbk)。《牛津逻辑指南》48,115-136(2005)。 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03B70号 68甲18 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hancock}和\textit{A.Setzer},Oxf。逻辑指南48,115--136(2005;Zbl 1102.03034)
威廉·哈里森。;理查德·基伯茨。 Haskell中的需求逻辑。 (英语) Zbl 1085.68023号 J.功能。程序。 15,第6期,837-891(2005).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Harrison}和\textit{R.B.Kieburtz},J.Funct。程序。15,第6号,837--891(2005;Zbl 1085.68023) 全文: 内政部
丽塔·勒根;尤兰达奥尔特加购物中心;佩尼亚·玛丽·里卡多 Eden中的并行函数编程。 (英语) Zbl 1096.68018号 J.功能。程序。 15,第3期,431-475(2005).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Loogen}等人,J.Funct。程序。15,第3号,431--475(2005;Zbl 1096.68018) 全文: 内政部
尤里·古里维奇;本杰明·罗斯曼;沃尔夫拉姆·舒尔特 AsmL的语义本质。 (英语) Zbl 1077.68052号 西奥。计算。科学。 343,第3期,370-412(2005).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}等人,Theor。计算。科学。343,第3号,370--412(2005;Zbl 1077.68052) 全文: 内政部
纳迪亚·内贾赫;de Macedo Mourelle,路易莎 更有效的从左到右匹配重叠模式。 (英语) Zbl 1101.68635号 J.离散算法 3,编号2-4,230-247(2005).MSC公司:2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nedjah}和\textit{L.de Macedo Mourelle},J.离散算法3,No.2--4230-247(2005;Zbl 1101.68635) 全文: 内政部
Hideki Tsuiki;杉原庆二 函数式语言中具有底部的流。 (英语) Zbl 1108.68365号 Sagiv,Mooly(编辑),《编程语言和系统》。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会(ESOP 2005),是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25435-8/pbk)。计算机科学课堂讲稿3444201-216(2005)。MSC公司:68甲18 68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Tsuiki}和\textit{K.Sugihara},Lect。注释计算。科学。3444201-216(2005年;兹bl 1108.68365) 全文: 内政部
Hideki Tsuiki 使用承诺选择逻辑编程语言进行实数计算。 (英语) Zbl 1080.68011号 J.日志。阿尔盖布。程序。 64,第1期,61-84(2005).MSC公司:68N17号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Tsuiki},J.Log。阿尔盖布。程序。64,第1号,61--84(2005;Zbl 1080.68011) 全文: 内政部
Robert F.Stärk。 严格和惰性函数程序的公理。 (英语) Zbl 1067.68045号 Ann.纯粹应用。逻辑 133,编号1-3,293-318(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Stärk},Ann.纯应用。逻辑133,编号1--3,293--318(2005;Zbl 1067.68045) 全文: 内政部
安德烈亚斯·亚贝尔;拉尔夫·马修斯;塔尔莫乌斯塔卢 高阶和嵌套数据类型的迭代和层叠方案。 (英语) Zbl 1070.68093号 西奥。计算。科学。 333,编号1-2,3-66(2005).MSC公司:第68季度第65季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,Theor。计算。科学。333,编号1--2,3--66(2005;Zbl 1070.68093) 全文: 内政部
劳埃德·艾利森 函数编程中的机器学习和数据挖掘模型。 (英语) Zbl 1063.68082号 J.功能。程序。 15,第1期,15-32(2005).MSC公司:68T05型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Allison},J.Funct。程序。15,第1号,15--32(2005;Zbl 1063.68082) 全文: 内政部