{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,20]]，“日期时间”：“2024-04-20T18:10:14Z”，“时间戳”：17136614835}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540617563”，“类型”：“打印”}，{“值”：“9783540706540”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1996]}，”DOI“：”10.1007\/3-540-61756-6_75“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T22:21:05”Z“，”时间戳“：1330294865000}，”页面“：”32-46“，”源“：“Crossref”，“is-referenced-by-count”：6，“title”：[“Functorial ML”]，“prefix”：“10.1007”，”author“：[{”given“：”G.“，”family“：”Bell\u00e8“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”C.B.“，”家族“：”Jay“，“sequence”：“additional”，“affiliance”：[]{”从属关系“：[]}]，”成员“：”297“，”在线发布“：{“date-parts”：[[2005,6,7]]}，“reference”：[{“key”：“3_CR1”，“unstructured”：“P.Aczel.一般Church-Rosser定理。技术报告，曼彻斯特大学，1978年。”}，{“key”：《3_CR2》，“unsructured（非结构化）：“H.P.Barendregt.Lambda Calculus:其语法和语义。北荷兰，1984年。修订版。“}，{”key“：”3_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”H.P.Barendregt.Lambda calculi with types.In Handbook of Logic In Computer Science，Oxford Univ.Press，1992.“，”doi“：”10.1093\/oso\/9781537618.003.0002“}”，{“key”：“3_CR4”，“doi-assert-by”：“crossref.”，“unstructure”：“J.Benabou.Introduction to bicategories，volume 47。Springer，1967年。“，”DOI“：”10.1007\/BFb0074299“}，{”key“：”3_CR5“，”DOI-asserted-by“：”crossref“，”first page“：“35”，“DOI”：“10.1016\/0304-3975（90）90151-7”，“volume”：“70”，“author”：”E.S.Bainbridge“，“year”：“1990”，“unstructured”：“E.S.Benbridge，P.J.Freyd，A.Scedrov，and P.J。斯科特。功能多态性。理论计算机科学，70:35\u2013641990。“，”journal-title“：”Theoryal Computer Science“}，{“key”：“3_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Bell\u00e8，C.B.Jay，and E.Moggi.Functorial ML.可从ftp:/\\/ftp.disi.unige.it\/person\/MogiE\/Functorial_ML.dvi获得。”，“doi”：“10.1007\/3-540-61756-6_75”}，}“”键“：”3_CR7“，”非结构化”：“M.Barr和C.Wells。计算科学的范畴理论。计算机科学国际丛书。普伦蒂斯·霍尔（Prentice Hall），1990年。“}，{“key”：“3_CR8”，“unstructured”：“J.R.B.Cockett和T.Fukushima。关于慈善。技术报告92/480/18，卡尔加里大学，1992年。”}，“key“：”3_CR9“，”unstructure“：”J.-Y.Girard，Y.Lafont和P.Taylor。证据和类型，第7卷。CUP，1989.“}，{”key“：”3_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Harper和G.Morrisett.使用内涵类型分析编译多态性。在POPL'95:第22届ACM SIGPLAN-SIGACT编程语言原理研讨会上，第130\u2013141页，加利福尼亚州旧金山，1995年1月。“，”doi“：”10.1145\/199448.199475“}，{“key”：“3_CR11”，“unstructured”：“C.B.Jay。协变类型的无类型项约简。技术报告将出现。”}，}，“key“：”3_CR12“，“unsructured“：”C.B.Jay.多项式多态性。In R。Kotagiri，编辑，《第十八届澳大拉西亚计算机科学会议论文集：Glenelg，南澳大利亚20133年2月1日》，1995年2月，第17卷，第237\u2013243页。A.C.S.Communications，1995.“｝，｛“key”：“3_CR13”，“doi asserted by”：“crossref”，“首页”：“251”，“doi”：“10.1016\/0167-6423（95）00015-1”，“volume”：“25”，“author”：“C.B.Jay”，“year”：“1995”，“nonstructured”：“C.B.Jay.形状的语义。计算机编程科学，25:251\u20132831995.”，“期刊标题”：“计算机编程科学”｝，｛“key”：“3_CR14“，”非结构化“：”C.B.Jay。并行计算的形状分析。1995年帝国理工学院富士通并行计算中心的95年并行计算研讨会。“}，{“key”：“3_CR15”，“unstructured”：“C.B。松鸦。重新审视参数多态性：协变类型。第19届澳大利亚计算机科学会议论文集，澳大利亚墨尔本，2013年1月31日\u2013-2月2日，第525\u2013533页，1996年。“}，{”key“：”3_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”J.Jeuring。多型模式匹配。在函数式编程语言和计算机体系结构会议上，第238\u20132481995页10.1017\/S0956796800001210“}，{“key”：“3_CR18”，“series-title”：“Tracts 129”，“volume-title”：《博士论文》，“author”：“J.W.Klop”，“year”：“1980”，“unstructured”：“J.Klop.Combinary Reduction Systems.博士论文，阿姆斯特丹数学中心，1980。第129卷。“}，{”key“：”3_CR19“，”doi-asserted-by“：”crossref“，”unstructured“：”X.Leroy.Unboxed objects and polymorphic typeing.In 19th Symp.on Principle of Programming Languages.ACM Press，1992.“，”doi“：”10.1145\/143165.143205“}”，{“key”：“3_CR20”，“unstructure”：“J.Lambek and P.J。斯科特。《高阶范畴逻辑导论》，《剑桥高等数学研究》第7卷。剑桥大学出版社，1986.“}，{”key“：”3_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”N.P.Mendler.二阶lambda微积分中的归纳类型和类型约束。《纯粹与应用逻辑年鉴》，511991年。“，”doi“：”10.1016\/0168-0072（91）90069-X“}”，{。Fokkinga和R.Paterson。用香蕉、镜头、信封和铁丝网进行功能编程。J.Hughes，编辑，《第五届ACM功能编程和计算机架构会议进程》，LNCS第523卷，第124\u201344页。Springer Verlag，1991.”，“DOI”：“10.1007\/340543961_7”}，{“键”：“3_CR23”，“卷标题”：“空间中的香蕉：将折叠和展开扩展为指数型”，“作者”：“E.Meijer”，“年份”：“1995”，“非结构化”：“E.Meijer和G。赫顿。太空中的香蕉：将折叠和展开扩展为指数型。1995年6月，加利福尼亚州圣地亚哥，第七届功能编程和计算机架构国际会议。ACM出版社，1995.“}，{”key“：”3_CR24“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Milner.编程中的类型多态性理论。JCSS，17，1978。“，”doi“：”10.1016\/0022-0000（78）90014-4“}”，{“key”：“3_CR25”，“doi-assert-by”：“crossref.”，“unstructure”：“S。佩顿·琼斯。作为一等公民的自由价值观。《函数编程和计算机体系结构》，LNCS第523卷，1991年。“，“DOI”：“10.1007”，{“key”：“3_CR26”，“unstructured”：“J.Reynolds和G.D.Plotkin。关于用多态lambda-calculus表示的函子。G.Huet，编辑，《函数编程的逻辑基础》。Addison-Wesley，1990年。”非结构化“：”M.Tofte。操作语义和多形类型推理。爱丁堡大学博士论文，1988年。可用作CST-52-88.“}]，“container-title”：[“计算机科学课堂讲稿”，“编程语言：实现、逻辑和程序”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-61756-6_75.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2024,4,20]]，“日期时间”：“2024-04-20T17:45:54Z”，“时间戳”：1713635154000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com/10.1007\/3-540-61756-6_75”}}，国际标准图书编号“：[”9783540617563“，”9783540706540“]，”参考编号“：27，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-61756-6_75“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743”，“type”：“print”}，{”value“：”1611-33049“，”type“:”electronic“}”，“subject”：[]，“published”：{“date-parts”：[1996]]}}}}