×
瓦列里·特里福诺夫;布拉丁·萨哈;邵，钟

完全自反的内涵类型分析。 （英语） Zbl 1321.68176号

2000年9月18日至21日，加拿大蒙特利尔，ICFP'00，第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-202-6）。ACM SIGPLAN通知35，第9号，82-93（2000）。

引用于2文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68甲15 程序设计语言理论
68甲18 函数编程和lambda演算
68N20型 编译与解释理论

关键词：

认证代码;运行时类型调度;类型化中间语言
PDF格式BibTeX公司 XML格式引用
\textit{V.Trifonov}等人，in：第五届ACM SIGPLAN函数编程国际会议论文集，ICFP'00，加拿大蒙特利尔，2000年9月18-21日。纽约州纽约市：计算机协会（ACM）。82-93（2000年；Zbl 1321.68176）
全文： 内政部

参考文献：

[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-Tannet.al.结构化安全作为查询语言。DBPL，3:9{191991.}
[7] [7] V.呼吸管和呼吸管。苏布拉曼扬。带有集合/行李/列表的程序的逻辑和计算方面。ICALP，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.Papakonstantinouet.al.对象交换跨异质信息源。ICDE，11:251{2601995年}
[22] [23]L.C.保尔森。重写的高级实现。科学。计算。掠夺。，3:119{49,1983.}
[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。Wong。结构递归的两种形式。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.Funct公司。程序。，10(1):19{56,2000.}
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。