{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:22:01Z”，“时间戳”：1720624921351}，“引用-计数”：14，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-零件”：[[1999,1,1]]，”日期-时间“：”1999-01T00:00:00 0:00Z“，”时间戳“：915148800000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：5323，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[1999]]}，”DOI“：”10.1016\/s1571-0661（05）80316-0“，”type“：”journal-article“，”created“：{”date-part“：[[2005,5,25]]，”date-time“：”2005-05-25T12:37:08Z“，”timestamp“：1117024628000}，‘page’：”187-208“，”source“Crossref”，“is-referenced-by-count”：10，“special_numbering”：“C”，“title”：[“Monad，Shapely Functors and Traversals”]，“prefix”：“10.1016”，“volume”：“29”，“author”：[{“given”：C.B.“，”family“：”Jay“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（05）80316-0_BIB1”，“doi-asserted-by”：“crossref”，“doi”：“101007\/10704973_2”，“article-title”：“Generic programming \u2014 an introduction”，“volume”：《1998》，“author”：“Backhouse”，“year”：“1999”，“journal title”：《高级函数编程暑期班讲义》}，{“key”：“10.1016\/S1571-0661（05）80316-0_BIB2”，“series-title”：“Toposes，Triples and Theories.”，“author”：“Barr”，“year”：“1985”}，{”key“：”10.1016\/S1571-661（05）83016-0_BIB3“，”doi-asserted-by“：”crossref“，“first-page”：“1”，“doi”：“10.0016\/0022-4049（90）90121-W”，“article-title”：”List-a仪式分布类别：locoi“，”volume“：”66“，”author“：”Cockett“，“年份”：“1990年”，“期刊标题”：“纯代数与应用代数杂志”}，{“key”：“10.1016\/S1571-0661（05）80316-0_BIB4”，“series-title”：“Memoranda Informatica”，“article-title”：”任意数据类型的单数映射与折叠“，“author”：“Fokkinga”，“year”：“1994”}tle“：“数据类型何时转换？”，“volume”：“1290”，“author”：“Hoogendijk”，“year”：“1997”}，{“key”：”10.1016\/S1571-0661（05）80316-0_BIB6“，“series-title”：“Eindhoven理工大学博士论文”，“article-title”：”数据类型的一般理论“，”author“：”Hoogendi jk“，”year“：”1997“}，”{“key”：80316-0_BIB7“，”doi-asserted-by“：“crossref”，“first page”：“251”，“DOI”：“10.1016\/0167-6423（95）00015-1”，《article-title》：“A semantics for shape”，“volume”：”25“，“author”：“Jay”，“year”：“1995”，“journal-title”：“Science of Computer Programming”}，{“key”：限定类型“，”作者“：”琼斯“，“年份”：“1992”}，{“key”：“10.1016\/S1571-0661（05）80316-0_BIB9”，“series-title”：“博士论文，CWI，阿姆斯特丹”，“文章标题”：“组合还原系统”，“author”：“Klop”，“year”：“1980”}“：”Meertens“，”year“：”1996“}，{”key“：“10.1016\/S1571-0661（05）80316-0_BIB11”，“doi-asserted-by”：“crossref”，“unstructured”：“E.Meijer和J.Jeuring.为函数编程合并单子和折叠。J.Jeuing和E.Meijar，编辑，《第一届国际Springschool高级函数编程技术会议录》，LNCS 925，第228\u2013266页。Springer-Verlag，1995.“，”DOI“：”10.1007\/3-540-59451-5_7“}，{“issue”：“1”，“key”：“10.1016\/S1571-0661（05）80316-0_BIB12”，“DOI-asserted-by”：“crossref”，“DOI”：“101016\/0890-5401（91）90052-4”，“article-title”：“计算和单数的概念”，“volume”：”93“，“author”：“Moggi”，“year”：“1991”，“journal-title“：”信息与计算“}，{”键“：”10.1016\/S1571-0661（05）80316-0_BIB13“，”doi-asserted-by“：”crossref“，”unstructured“：”J.Vin\u00eRek“。对称hom-functor到Kleisli范畴的推广。Ferenc G\u00e9cseg，编辑，《1981年国际计算理论基础会议论文集》，LNCS 117，第394\u2013399页，塞格德，匈牙利，1981年8月。斯普林格·弗拉格。“，”DOI“：”10.1007\/3-540-10854-8_43“}，{“key”：“10.1016\/S1571-0661（05）80316-0_BIB14”，“article-title”：“理解单数”，“author”：“Wadler”，“year”：“1992”，“journal-title“：”计算机科学中的数学结构，1993。第六届Lisp与函数编程会议论文集专刊“}]，“container-title”：[“理论计算机科学电子笔记”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803160？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066105803160？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2021,11,4]]，“date-time”：”2021-11-04T22:43:14 Z“，”timestamp“：1636065794000｝，”score“：1，”resource“：｛”primary“：｛”URL“：”https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S1571066105803160“｝｝，”副标题“：[]，”短标题“：[]，”已发布“：｛”日期部分“：[[1999]]｝，”引用次数“：14，”备选id“：[”S1571066105803160“]，”URL“：”http:\/\/dx.doi.org/10.1016\/s1571-0661（05）80316-0“，”关系“：｛｝，”ISSN“：[”1571-0661“]，”issn-type“：[{”value“：”1571-0671“，”type“:”print“}]，”subject“：[]，”published“：{”date-parts“：[[1999]]}}}