{“id”：“https://openalex.org/W2044037525“，”doi“：”https://doi.org/10.1016/s1571-0661（05）80316-0“，”title“：”Monad，Shapely Functors and Traversals“，”display_name“：”monad，Shagely Functor and Traversal“，”publication_year“：1999，”publiction_date“：”1999-01-01“，“ids”：{“openalex”：“https://openalex.org/W2044037525“，”doi“：”https://doi.org/10.1016/s1571-0661（05）80316-0“，”mag“：”2044037525“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（05）80316-0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/s1571-0661（05）80316-0“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I4210125647“，”display_name“：”INFN Sezione di Genova“，”err“：”https://ror.org/02v89pq06“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I160013858","https://openalex.org/I4210125647","https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _affiliation_strings“：[“DISI-热那亚大学，via Dodecaneso 35，16146 Genova，Italy1”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5060308366“，”display_name“：”G.Bell\u00e8“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I4210125647“，”display_name“：”INFN Sezione di Genova“，”err“：”https://ror.org/02v89pq06“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I160013858","https://openalex.org/I4210125647","https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Bell\u00e8“，”raw _affiliation_strings“：[“DISI-热那亚大学，via Dodecaneso 35，16146 Genova，Italy1”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5007782198“，”display_name“：”C.Barry Jay“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114017466“，”display_name“：”悉尼理工大学“，”ror“：”https://ror.org/03f0f6041“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I114017466“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”C.B.Jay“，”raw _ afiliation_strings“：[“SOCS-悉尼理工大学，2007年澳大利亚百老汇123号邮政信箱”]}]“countries _ distinct_count”：2，“institutions _ disting_count，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：12，”cited_by_percentile_year“：{”min“：81，”max“：82}，”biblio“：{“volume”：“29”，”issue“：null，”first_page“：”187“，”last_page“：“208”}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9994，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10304“，”display_name“：”辛拓扑和结不变量“，”score“：0.9913，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.983，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.470566}]，”concepts“：[{”id“：”https://openalex.org/C140745168，“wikidata”：https://www.wikidata.org/wiki/Q1210082“，”display_name“：”树遍历“，”level“：2，”score“：0.70358324}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6260139}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.60709846}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.50923574}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.48104528}，{”id“：”https://openalex.org/C2776608160，“wikidata”：https://www.wikidata.org/wiki/Q4785462“，”display_name“：”自然（考古）“，”level“：2，”score“：0.45907092}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.45426553}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.42471558}，{”id“：”https://openalex.org/C33959348，“wikidata”：https://www.wikidata.org/wiki/Q1630568“，”display_name“：”Monad（范畴理论）“，”level“：3，”score“：0.4196008}，{”id“：”https://openalex.org/C134537474，“wikidata”：https://www.wikidata.org/wiki/Q17144832“，”display_name“：”自然“，”等级“：2，”分数“：0.41643715}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.34257758}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.31900185}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.26801038｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16336161}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”地质“，”等级“：0，”分数“：0.117976755}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.11115369}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（05）80316-0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.74，“pdf_url”：http://www.disi.unige.it/person/MoggiE/ftp/ctcs99.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/s1571-0661（05）80316-0“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1597612916","https://openalex.org/W1997143185","https://openalex.org/W2009259962","https://openalex.org/W2060984753","https://openalex.org/W2124119770","https://openalex.org/W2137473542","https://openalex.org/W2912111500","https://openalex.org/W4252656082","https://openalex.org/W583126019“]，”related_works“：[”https://openalex.org/W48124421","https://openalex.org/W4300258627","https://openalex.org/W4287663723","https://openalex.org/W4229950834","https://openalex.org/W3107197685","https://openalex.org/W3087126312","https://openalex.org/W2908418870","https://openalex.org/W2738383450","https://openalex.org/W2467819319","https://openalex.org/W2071463650“]，”ngrams_url“：”https://api.openalex.org/works/W2044037525/ngrams“，”“abstract_inverted_index”：{“This”：[0,36]，“paper”：[1]，“demonds”：[2]，“the”：[3,7,30,39,55]，“potential”：[4]，“for”：[5,26,49]，“combining”：[6]，“multypypical”：[8,71]，“and”：[9,72]，“monadic”：[10,73]，“programming”：[11]，“styles，”：[12]，“by”：[13]，“introduction”：[14]，”a“：[15]2,21,46,66]，“新”：[16]，“种类”：[17]，“of”：[18,32,54,58]，“组合符”：[19]，“调用”：[20]遍历。“：[22]，”The“：[23]，”natural“：[24,47]，”setting“：[25]，”definiting“：[27]，”traversals“：[28]，”is“：[29]，”class“：[31]，”shapely“：[33,42]，”data“：[34,43,56]，”types“。“：[35]，”结果“：[37]，”强化“：[38]，”视图“：[40]，”that“：[41]，”类型“：[44,57]，”形式“：[45]，”域“：[48]，”多类型：“：[50]，”它们“：[51]，”include“：[52]，”most“：[53]，”interest“：[59]，”while“：[60]，”to“：[61]，”except“：[62]，”them“：[63]，”would“：[64]，”“牺牲”：[65]，“非常”：[67]，“平滑”：[68]，“交互”：[69]，“介于”：[70]，“编程”。“：[74]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2044037525“，”counts_by_year“：[{”年“：2016，”cited_by_count“：1}，{”年份“：2015，”cited_by_count”：1}.，{“年份”：2013，”citecd_by_count“：2}，”年度“：2012，”citted_by_count“:2}]，”updated_date“：”2024-05-13T10:56:06.292674“，”created_dated“：”2016-06-24“}”