{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,23]]，“日期时间”：“2023-09-23T12:40:39Z”，“时间戳”：1695472839201}，“出版商位置”：“查姆”，“参考计数”：22，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319041315”，“类型”：”打印}，{“值”：“9783319041322”，“类型”：“电子”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[2014]]｝，“DOI”：“10.1007\/978-3-319-04132-2_3”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2013,12,9]，“日期时间”：“2013-12-09T02:49:14Z”，“时间戳”：1386557354000｝，“页面”：“33-48”，“来源”：“交叉参考“，“is-referenced-by-count”：13，“title”：[“F#计算表达式动物园”]，“前缀”：“10.1007”，“作者”：[{“给定”：“托马斯”，“家族”：“彼得里切克”，“序列”：“第一个”，“从属关系”：[]}，{“给出”：“Don”，“系列”：“Syme”，“顺序”：“附加”，“附属关系”：[]}]，“成员”：“297”，“引用”：[}“键”：“3_CR1”，计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“233”，“doi”：“10.1007\/978-3642-31057-7_12”，“volume-title”：“ECOOP 2012\u2013面向对象编程”，“author”：“G.Bierman”，“year”：“2012”，“unstructured”：“Bierman，G.、Russo，C.、Continland，G.，Meijer，E.、Torgersen，M.：暂停2019n\u2019游戏：规范化异步C$^\\sharp$。收录：Noble，J.（编辑）ECOOP 2012。LNCS，卷\u00a07313，第233\u2013257页。Springer，Heidelberg（2012）“}，{”key“：”3_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“205”，“doi”：“10.1007\/978-3-540-89330-1_15”，“volume-title”：“Programming Languages and Systems”，“author”：“E.Cooper”，“year”：“2008”，“unstructured”：“Cooper，E.，Lindley，S.，Wadler，P.，Yallop，J.：形式抽象的本质。收录：Ramalingam，G.（编辑）APLAS 2008。LNCS，卷\u00a05356，第205\u2013220页。Springer，Heidelberg（2008）“}，{“key”：“3_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Filinski，A.：表示分层单子。In:POPL，pp.175\u2013188（1999）”，“doi”：“10.1145\/292540.292557”}，“key“：”3_CR4“，”doi-assert-by“crossrev”，”：“Filinski、A.：单子的作用。In:POPL，p.483\u2013494（2010））“，”doi“：”10.1145\/1706299.1706354“}，{“key”：“3_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Giorgidze，G.，Grust，T.，Schweinsberg，N.，Weijers，J.：带回单子的理解。摘自：Haskell Symposium，pp.13\u201322（2011）”，“doi”：“10.1145\/2034675.2034678”}，}“key”：”3_CR6“，”doi-assert-by“：”Crosref“，“un结构化”：“Harris，T.、Marlow，S.、Peyton-Jones，S.和Herlihy，M.：可组合内存事务。在：PPoPP，pp.48\u201360（2005）“，”DOI“：”10.1145“/106594.1065952“}，”key“：”3_CR7“，”unstructured“：”HaskellWiki.Listt done right（2012），http://www.haskell.org“/HaskellWiki“/Listt_done_right”}，“key”：“3_CR8”，“unstructure”：“HaskellWiki.Monadplus（2012）}，{“key”：“3_CR9”，“DOI-asserted-by”：“crossref“，”unstructured“：”Krishnamurthi，S.：《软件会议的工件评估》（2012），http://\/cs.brown.edu\/~sk\/Memos\/Conference-Artifact-evaluation\/“，”DOI“：”10.1145\/2502508.2502518“}，{“key”：“3_CR10”，“DOI-asserted-by”：“crossref”，“unstructure”：“Liang，S.、Hudak，P.、Jones，M.：单声道变形金刚和模块化口译员。在：POPL（1995）“，”DOI“：”10.1145\/199448.199528“}，{“key”：“3_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lindley，S.，Wadler，P.，Yallop，J.：惯用语是健忘的，箭头是细致的，单子是混杂的。Electron.Notes Theor.Comput.Sci.\u00a0229（5）（2011年3月）”，“DOI”：“10.1016\/J.entcs.2011.02.18”}，“{”key“：“3_CR12”，“doi-asserted-by“：”crossref“，”unstructured“：”L\u00fcth，C.，Ghani，N.：《第七届ACM SIGPLAN函数式编程国际会议论文集》，ICFP，pp.133\u2013144（2002）“，”doi“：”10.1145\/583852.581492“}，{“issue”：“1”，“key”：“3_CR13”，“doi-assert-by”：“publisher”，“first page”：”1“”，“doi”：“10.1017\/S095696807006326”，“volume”：18英寸author“：”C.Mcbride“，”year“：”2008“，”unstructured“：”Mcbride，C.，Paterson，R.：带效果的应用编程。J.功能。程序。\u00a018（1），1\u201313（2008）“，“新闻标题”：“J.Funct。程序。“}，{”key“：”3_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Meijer，E.，Beckman，B.，Bierman，G.：LINQ：协调.NET框架中的对象、关系和XML。in:SIGMOD，p.706（2006）“，”doi“：”10.1145\/1142473.1142552“FP（2001）“，”DOI“：”10.1145\/507635.507664“}，{“key”：“3_CR16”，“unstructured”：“Petricek，T.：用F#异步序列编程（2011），http://\tomasp.net\/blog\/asynch-sequences.aspx“}”，{”key“：”3_CR17“，”series-title“：”计算机科学课堂笔记“，”DOI-asserted-by“：”publisher“，”first page“：“80”，“DOI”：“10.1007\/978-3642-00590-9_7”，“卷时间”：“《编程语言与系统》，“作者”：“G.Plotkin”，“年份”：“2009”，“非结构化”：“Plotkin，G.，Pretnar，M.：代数效应的处理者。收录：Castagna，G.（编辑）ESOP 2009。LNCS，卷\u00a05502，第80页\u201394。Springer，Heidelberg（2009）“}，{”key“：”3_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Rompf，T.，Maier，I.，Odersky，M.：“通过类型定向的选择性cps-transform实现一级多态定界延拓。In:ICFP（2009年）“，”doi“：”10.1145\/1596550.1596596“}”，{“key”：“3_CR19”，“series-title”：“计算机科学课堂讲稿”，“doi断言者：“publisher”，“first page”：“175”，“doi”：“10.1007\/978-3-642-18378-2_15”，“volume title”：“声明性语言的实用方面”，“author”：“D.Syme”，“year”：“2011”，“nonstructured”：“Syme，D.，Petricek，T.，Lomov，D.：F#异步编程模型。收录：Rocha，R.，Launchbury，J.（编辑）PADL 2011。LNCS，第u00a06539卷，第175\u2013189页。Springer，Heidelberg（2011）“}，{”key“：”3_CR20“，”unstructured“：”The F#Software Foundation.F#language specification（2013）“}.，{“key”：“3_CR21”，“unstructure”：“Typesafe Inc.An asynchronous programming facility for scala（2013）”}，}“key.”：“3CR22”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“24”，“doi”：“”10.1007\/3-540-59451-5_2“，“volume-title”：“高级函数式编程”，“author”：“P.Wadler”，“year”：“1995”，“unstructured”：“Wadler，P.：Monads for Functional Programming”。摘自：Jeuring，J.，Meijer，E.（编辑）AFP 1995。LNCS，第u00a0925卷，第24\u201352页。Springer，Heidelberg（1995）“}”，“container-title”：[“声明性语言的实用方面”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_3”，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，“存放“：{“date-parts”：[[2023,7,8]]，“date-time”：“2023-07-08T20:53:57Z”，“timestamp”：1688849637000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/978-3319-04132-2_3 041315“，”9783319041322“]，”references-count“：22，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-04132-2_3“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2014】】}}}}