塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米，迪迪埃 联合演算的隐式类型a la ML。 （英语） Zbl 1512.68057号 Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1243, 196-212 (1997). 小结：我们将Damas-Millner打字规程应用于联合计算。主要结果是一个新的泛化准则，它将ML的多态性扩展到了联合定义。我们证明了关于化学语义的类型规则的正确性。我们还将核心联合演算的类型化扩展与函数语言联系起来。关于整个系列，请参见[Zbl 1434.68030号]. 引用于6文件 MSC公司： 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：皮克特 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，Lect。注释计算。科学。1243196-212（1997年；Zbl 1512.68057） 全文： 内政部 参考文献： [1] L.Damas和R.Milner。功能程序的主要类型方案。在程序设计语言原理会议录第207-212页，1982年。 [2] C.Fournet和G.Gonthier。反射式化学文摘机和联合微积分。在第23届ACM程序设计语言原理研讨会（POPL'96）, 1996. [3] C.Fournet、G.Gonthier、J.-J.Lévy、L.Maranget和D.Rémy。移动代理的微积分。在第七届并行理论国际会议（CONCUR’96）, 1996. LNCS 1119。 [4] N.Kobayashi、B.C.Pierce和D.N.Turner。线性类型和微积分。在第23届ACM程序设计语言原理研讨会（POPL'96）, 1996. [5] K.Läufer和M.Odersky。具有一级抽象类型的ML扩展。在ACM SIGPLAN ML及其应用研讨会会议记录, 1992. [6] R.Milner。多元（π）演算：教程。在Bauer、Brawer和Schwichtenberg的编辑中，逻辑与规范代数施普林格出版社，1993年。 [7] B.Pierce和D.Sangiorgi。移动进程的类型和子类型。在计算机科学中的逻辑，第187-215页，1993年。 [8] B.皮尔斯和D.特纳。Pict：一种基于pi-calculus的编程语言，1995年。出现。 [9] J.H.Reppy。并发ML：设计、应用和语义。在编程、并发、仿真和自动推理，第165-1981992页。LNCS 693。 [10] B.汤姆森。并发函数程序的多态排序和类型。技术报告ECRC-93-10，欧洲计算机工业研究中心，德国慕尼黑，1993年。 [11] D.N.特纳。π演算：类型、多态性和实现爱丁堡大学LFCS博士论文，1995年。 [12] V.T.Vasconselos公司。π演算中的预测多态性。在第五届并行体系结构和语言会议记录（PARLE 94）, 1994. LNCS公司。 [13] A.K.Wright。没有命令类型的命令语言的多态性。技术报告93-200，莱斯大学，1993年2月。 [14] A.K.Wright和M.Felleisen。一种类型正确性的句法方法。信息与计算, 115(1):38-94, 1994. ·Zbl 0938.68559号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。