{“id”：“https://openalex.org/W2060662244“，”doi“：”https://doi.org/10.1017/0956796801004154“，”title“：”效果的单数封装：修订的方法（扩展版）“，”display_name“：”影响的单数包装：修订方法（扩展版本）“，“publication_year”：2001，“publiction_date”：“2001-11-01”，“ids”：{“openalex”：“https://openalex.org/W2060662244“，”doi“：”https://doi.org/10.1017/s0956796801004154“，”mag“：”2060662244“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/0956796801004154，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D31AEC33C1E8291B309578FA84B4664D/S095679680104154a.pdf/div-class-title-monadic-enscapsulation-of-effects-a-revised-approach-extended-version-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956~7968“，”1469-7653“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，oaurl“：”https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D31AEC33C1E8291B309578FA84B4664D/S095679680104154a.pdf/div-class-title-monadic-enscapsulation-of-effects-a-revised-approach-extended-version-div.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _ afiliation_strings“：[“DISI，Genova University of Genova，via Dodecaneso 35，16146 Genova（意大利）”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5084476883“，”display_name“：”Amr Sabry“，”orcid“：”https://orcid.org/0000-0002-1025-7331}，“机构”：[{“id”：https://openalex.org/I4210119109“，”display_name“：”印第安纳大学布卢明顿分校“，”ror“：”https://ror.org/02k40bc56“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210119109","https://openalex.org/I592451“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Amr Sabry“，”raw _affiliation_strings“：[“印第安纳大学布卢明顿分校计算机科学系，美国IN 47405”]}]，”countries_distict_count“：2，”institutions_disticenc_count“：1，”corresponding_author_ids“：[]，”coresponding_institution_idshas_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：38，”cited_by_percentile_year“：{”min“：91，”max“：92}，”biblio“：{“volume”：“11”，“issue”：“6”，“first_page”：“591”，“last_page”：”627“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9975，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9802，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.535867}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.509104}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.507252}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.83987284}，{”id“：”https://openalex.org/C81147070，“wikidata”：https://www.wikidata.org/wiki/Q1172449“，”display_name“：”封装（网络）“，”level“：2，”score“：0.7417226}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6357376}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.59298474}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.552099}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5499732}，{”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.5083079}，{”id“：”https://openalex.org/C41608201，“wikidata”：https://www.wikidata.org/wiki/Q980509“，”display_name“：”Embedding“，”level“：2，”score“：0.44758716}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.43485945}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40998095｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.20765889}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19725472}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371网址“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/0956796801004154，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D31AEC33C1E8291B309578FA84B4664D/S095679680104154a.pdf/div-class-title-monadic-enscapsulation-of-effects-a-revised-approach-extended-version-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956~7968“，”1469-7653“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1017/s0956796801004154，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D31AEC33C1E8291B309578FA84B4664D/S095679680104154a.pdf/div-class-title-monadic-enscapsulation-of-effects-a-revised-approach-extended-version-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956~7968“，”1469-7653“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：32，“referrenced_works”：https://openalex.org/W145869046","https://openalex.org/W147667397","https://openalex.org/W1488880065","https://openalex.org/W1561592868网址","https://openalex.org/W1770030691","https://openalex.org/W1969253110","https://openalex.org/W1971933951","https://openalex.org/W1980939032","https://openalex.org/W1987421013","https://openalex.org/W1997143185","https://openalex.org/W1998095216","https://openalex.org/W2022870228","https://openalex.org/W2035746984","https://openalex.org/W2037984920","https://openalex.org/W2044758536","https://openalex.org/W2046137117","https://openalex.org/W2074674709","https://openalex.org/W2074802267","https://openalex.org/W2084804301","https://openalex.org/W2087875803","https://openalex.org/W2095047539","https://openalex.org/W2104204098","https://openalex.org/W2118068787","https://openalex.org/W2129224383","https://openalex.org/W2132500556","https://openalex.org/W2135962112","https://openalex.org/W2138875086","https://openalex.org/W2151156765","https://openalex.org/W2156876717","https://openalex.org/W2169907127","https://openalex.org/W2294680933网址","https://openalex.org/W2295914203“]，”related_works“：[”https://openalex.org/W4296274916","https://openalex.org/W4242678340","https://openalex.org/W3004782279","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W2112263414","https://openalex.org/W2095136535","https://openalex.org/W2028779182","https://openalex.org/W1602185604","https://openalex.org/W1524436860“]，”ngrams_url“：”https://api.openalex.org/works/W2060662244/ngrams“，”“abstract_inverted_index”：{“Launchbury”：[0]，“and”：[1,86]，“Peyton”：[2]，“Jones”：[3]，“come”：[4]，“up”：[5]，“with”：[6]，“an”：[7132]，“enginious”：[8]，“idea”：[9,25]，“for”：[10,75120]，“embedding”：[11]，“regions”：[12]，“of”：[13,32,63,77108122]，“命令”：[14]，“编程”：[15]，“in”：[16,95105125]，“a”：[17,29,42,71,96116]，“纯”：[18]，“函数”：[19]，“语言“：[20]，”like“：[21]，”Haskell。“：[22]，”The“：[23,67112]，”key“：[24]，”was“：[26]，”based“：[27]，”on“：[28136155]，”simple“：[30151]，”modification“：[31]，”Hindley-Milner’s“：[33]，”type“：[34,61,72117]，”system“。“：[35]，“我们的”：[36]，“第一个”：[37]，“贡献”：[38,69114]，“是”：[39,70115]，“到”：[40]，“提议”：[41]，“更多”：[43,97]，“自然”：[44]，“封装”：[45,54,76,84121]，“构造”：[46,85]，“开发”：[47]，“高阶”：[48110127]，“种类”：[49]，“其中”：[50137158]，“实现”：[51]，“该”：[52,58,64,82,87101106109126147166]，“相同”：[53]，“效果，“：[55]，”但“：[56]，”避免“：[57]，”ad“：[59]，”hoc“：[60]，”parameter“：[62]，”original“：[65,83102]，”提案。“：[66]，”第二“：[68]，”安全“：[73118]，”结果“：[74,94119130]，”严格“：[78]，”状态“：[79124]，”使用“：[80]，”两者“：[81]，”新“：[88]，”引入“：[89]，”一。“：[90]，”We“：[91]，”establish“：[92]，”this“：[93]，”expressional“：[98]，”context“：[99107]，”than“：[100]，”proposal“：[103]，”即“：[104]，”lambda演算。“：[11128]，”第三“：[113]，”懒惰“：[123]，”此“：[129]，”已解决“：[131]，”未解决“：%133]，”打开“：[134]，”问题“：[135]，”先前“：[138]，”证明“：[139]，”尝试“：[140]，”失败。“：[141]，”In“：[142]，”all“：[143]，”cases“，：[144]，”we“：%145]，”formalize“：[146]，”意欲“：[148]，”implementations“：[149]，”as“：[150]，”big-step“：[152]，”operational“：[153]，”semantics“：%154168]，”untyped“：[156]，”terms“：[157]，”capture“：[159]，”interest“：[160]，”implementation“：[161]，”details“：]，“not”：[163]，“captured”：[164]，“by”：[165]，“reduction”：[167]，“建议”：[169]，“之前”：[170]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W2060662244“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：2}，{“年”：2021，”“cited_by_cunt”：1}，”“年份”“：2020，”日期“：”2024-05-11T04:59:38.246960“，”创建日期“：“2016-06-24”}