拉尔夫·欣泽 推导回溯单子变压器。 (英语) Zbl 1321.68195号 2000年9月18日至21日,加拿大蒙特利尔,ICFP'00,第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 1-58113-202-6)。ACM SIGPLAN通告35,第9号,186-197(2000)。 引用于9文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68N17号 逻辑编程 68甲18 函数编程和lambda演算 关键词:哈斯克尔;序言;回溯;延续;切;单极变压器;单子叶植物;程序推导 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},in:第五届ACM SIGPLAN函数编程国际会议论文集,ICFP'00,加拿大蒙特利尔,2000年9月18-21日。纽约州纽约市:计算机协会(ACM)。186-197(2000年;Zbl 1321.68195) 全文: 内政部 参考文献: [1] [1] S.F.AltschulandW公司。吉什。局部对齐统计。方法酶学,266:460{4801996。} [2] [2] S.F.Altschulet.al.GappedBLAST和PSI-BLAST:新一代数据库搜索程序。NAR,25(17):3389{34021997.} [3] [3] P.G.贝克兰德。黄铜。生物序列标签酶的最新发展。货币。运营生物技术。,9:54{58,1998.} [4] [4] P.G.贝克雷塔尔。TAMBIS |透明访问多种生物信息源。ISMB,6:25{341998。} [5] [5] D.本顿。生物信息学|新的多学科工具的原理和潜力。TIBTECH,14:261{2721996.} [6] [6] V.Breazu-Tannnet.al.结构执行是一种查询语言。DBPL,3:9{191991.} [7] [7] V.呼吸管和呼吸管。苏布拉曼扬。带有集合/行李/列表的程序的逻辑和计算方面。伊卡尔普,18:60{751991。} [8] [8] P.Bunemanet.al.使用复杂对象和集合类型进行编程的原理。TCS,149(1):3{481995。} [9] [9] C.Burkset.al.GenBank公司。NAR,20增补:2065{91992.} [10] [10] R.G.G.Cattell,编辑。对象数据库标准:ODMG-93。MorganKaufmann,1996年。 [11] [11] J.Chenet.al.在BLAST预测中使用Kleislito盐水特征。基因组信息学,9:102{1111998.} [12] [12] J.Chenet.al.由Kleisli提供动力的专利查询系统。ACMSIGMOD记录,27(2):593{5951998.} [13] [13] E.F.代码。大型股份制银行的相对模型。CACM,13(6):377{3871970.} [14] [14] S.Davidsonet,al.BioKleisli:生物医学研究者的数字图书馆。国际数字图书馆杂志,1(1):36{531997.} [15] [15] G.Donget.al.查询语言的本地属性。ICDT,6:140{1541997。} [16] [16] A.GoldbergandR。佩奇。流处理。程序中。ACMSymposiumonLISPandFunctional Programming,第53页{621984。} [17] [17] ISO标准。标准8824.信息处理系统。打开系统互连。《抽象语法符号一规范》(ASN.1),1987年。 [18] [18] L.利比南德。王。标签和聚合功能的查询语言。JCSS,55(2):241{2721997.} [19] [20] 国家生物技术信息中心,国家医学图书馆,马里兰州贝塞斯达。NCBI ASN.1规范,1992年。修订版2.0。 [20] [21]A.Ohoriet.al.马基雅维利(Machiavelli)的数据库编程,一种抵抗自动类型推断的变形语言。ACMSIGMODRecord,18(2):46{571989.} [21] [22]Y.跨异构信息源的对象交换。ICDE,11:251{2601995年} [22] [23]L.C.保尔森。重写的高级实现。科学。计算。掠夺。,3:119{491983。} [23] [24]P.Pearsonet.al.The GDBhumangenome数据库anno1992.NAR,20:2201{22061992.} [24] [25]D.雷米。键入ML自然扩展的检查记录和变量。波普尔,16:77{881989。} [25] [26]D.雷米。广泛记录的直观表示。ACMSIGPLANWorkshoponML及其应用程序,第12页{161992.} [26] [27]C.Schoenbachet.al.FIMM,功能分子免疫学的adatabase。NAR,28(1):222{2242000.} [27] [28]G.D.Schuleret.al.Entrez:分子生物学数据库和检索系统。方法酶学,266:141{1621996。} [28] [29]M.斯皮维。一系列异常的功能。科学。计算。掠夺。,14:25{42,1990.} [29] [30]D.Suciu。复杂对象的边界扩展点。TCS,176(1{2):283{3281997.}} [30] [31]D.SuciuandL。王。结构递归的两种形式。ICDT,5:111{1241995。} [31] [32]J.D.Ullman。数据库和知识库系统原理II:新技术。计算机科学出版社,1989年。 [32] [33]P.沃德勒。理解单子。数学。结构。计算。科学。,2:461{493,1992.} [33] [34]S.Walshet.al.ACEDB:Adatabaseforgenome信息。方法生物化学。分析。,39:299{318, 1998.} [34] [35]L.Wong。查询嵌套集合。1994年8月,宾夕法尼亚大学计算机与信息科学系博士论文,宾夕法尼亚州费城19104。 [35] [36]L.Wong。介绍雷米的快速多态投影。ACMSIGMOD记录,24(3):34{391995。} [36] [37]L.Wong。Kleisli,功能查询系统。J.功能。掠夺。,10(1):19{56,2000.} 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。