{“id”：“https://openalex.org/W1966408635“，”doi“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”title“：”全球计算的高阶类型和元程序设计“，”display_name“：”全局计算的高阶类型和元编程“，”publication_year“：2002，”publiation_date“：”2002-06-01“，”ids“：{”openalex“：”https://openalex.org/W1966408635“，”doi“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”mag“：”1966408635“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5026348666“，”display_name“：”Gian-Luigi Ferrari“，”orcid“：”https://orcid.org/0000-0003-3548-5514}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Ferrari“，”raw _ afiliation_strings“：[“意大利比萨大学信息学院”]，”affiliations“：[{”raw _affiliation_strong“：”意大利比萨学院信息学院”，“institution_ids”：[”https://openalex.org/I108290504“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}，{”id“：”https://openalex.org/I4210101866“，”display_name“：”Informa（意大利）“，”ror“：”https://ror.org/017c2y429“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210101866","https://openalex.org/I4210154378“]｝]，”国家“：[”IT“]，”is_correresponsing“：false，”raw_author_name“：”E.Moggi“，”raw_affiation_strings“：[”意大利热那亚大学信息科学与信息科学学院“]，”附属机构“：[{”raw_affiation_string“：”意大利热那亚大学信息科学与信息科学学院“，”institution_ids“：[”https://openalex.org/I83816512","https://openalex.org/I4210101866“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5066761763“，”display_name“：”Rosario Pugliese“，”orcid“：”https://orcid.org/0000-0002-1419-1405“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”R.Pugliese“，”raw _ afiliation_strings“：[“意大利费伦泽大学信息科学研究所”]，”affiliations“：[{”raw _affiliation_string“：”意大利费伦兹大学信息科学院研究所“，”“institution_ids”：[]}]，”countries_distict_count“：1，“institutions_distinct_count“：3，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：null，“fwci”：0.357，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：1，“引文_normalized_percentile”：{“value”：0.541154，“is_in_top_1_percent”：false，“is_in_top_10_percennt”：false}，“citted”_by_percentile_year“：{”min“：57，”max“：64}，”biblio“：{”volume“：”62“，”issue“：null，”first_page“：”52“，”last_page“：“68”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12203“，”display_name“：”网络管理中的移动代理技术“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T12203“，”display_name“：”网络管理中的移动代理技术“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”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.9988，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9988，”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/元编程“，”display_name“：”元编程“，”score“：0.60044324}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.56574}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.524055｝，｛”id“：”https://openalex.org/keywords/feature-models网站“，”display_name“：”Feature Models“，”score“：0.518611}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.516358}，{”id“：”https://openalex.org/keywords/type-safety“，”display_name“：”类型安全“，”score“：0.4653832}，{”id“：”https://openalex.org/keywords/erlang“，”display_name“：”Erlang（编程语言）“，”score“：0.4310193}，{”id“：”https://openalex.org/keywords/intervaling“，”display_name“：”Interleaving“，”score“：0.4234301}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8277935}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.65459895}，{”id“：”https://openalex.org/C35390924，“wikidata”：https://www.wikidata.org/wiki/Q661075“，”display_name“：”元编程“，”level“：2，”score“：0.60044324}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.47953987}，{”id“：”https://openalex.org/C44779574，“wikidata”：https://www.wikidata.org/wiki/Q736866“，”display_name“：”类型安全“，”级别“：2，”分数“：0.4653832}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.44052732}，{”id“：”https://openalex.org/C82484044，“wikidata”：https://www.wikidata.org/wiki/Q334879“，”display_name“：”Erlang（编程语言）“，”level“：3，”score“：0.4310193}，{”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077“，”display_name“：”代码生成“，”level“：3，”score“：0.424528}，{”id“：”https://openalex.org/C28034677，“wikidata”：https://www.wikidata.org/wiki/Q17092530网址“，”display_name“：”Interleaving“，”level“：2，”score“：0.4234301}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39812076}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.21940675}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.12516692}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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”：“https://www.openaccessrepository.it/record/163010，“pdf_url”：https://www.openaccessrepository.it/record/163010/files/fulltext.pdf，“源”：{“id”：https://openalex.org/S4306402478“，”display_name“：”INFM-OAR（INFN Catania）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I4210116497“，”“host_organization_name”：“INFN Sezione di Catania”，“host_organization_lineage”：[“https://openalex.org/I4210116497“]，”host_organization_lineage_names“：[”INFN Sezione di Catania“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）00319-6“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”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/W1495815054","https://openalex.org/W1521367064","https://openalex.org/W1525026000","https://openalex.org/W1532887546","https://openalex.org/W1553805960","https://openalex.org/W1578672210","https://openalex.org/W1591752798","https://openalex.org/W1601205865","https://openalex.org/W1965498649","https://openalex.org/W1972301184","https://openalex.org/W1980939032","https://openalex.org/W1988177568","https://openalex.org/W2004048608","https://openalex.org/W2006138892","https://openalex.org/W2006611045","https://openalex.org/W2037575886","https://openalex.org/W2039512273","https://openalex.org/W2083140588","https://openalex.org/W2088599499","https://openalex.org/W2096213702","https://openalex.org/W2101149196","https://openalex.org/W2103416728","https://openalex.org/W2106529232","https://openalex.org/W2131752612","https://openalex.org/W2134291411","https://openalex.org/W2135785452","https://openalex.org/W2136134319","https://openalex.org/W2137689716","https://openalex.org/W2160747957网址","https://openalex.org/W2161307885","https://openalex.org/W2161353020","https://openalex.org/W2176714706","https://openalex.org/W2912003593","https://openalex.org/W2912018647","https://openalex.org/W2914559425","https://openalex.org/W3009749592","https://openalex.org/W4231003797","https://openalex.org/W84136828“]，”related_works“：[”https://openalex.org/W54273311","https://openalex.org/W3216635194","https://openalex.org/W3044146059","https://openalex.org/W3016782088","https://openalex.org/W2898037052","https://openalex.org/W2889592470","https://openalex.org/W2610187978","https://openalex.org/W2159936604","https://openalex.org/W1974727660","https://openalex.org/W1513190062“]，”abstract_inverted_index“：{”MetaKlaim“：[0,17]，”is“：[1]，”a“：[2,69]，”case“：[3]，”study“：[4]，”in“：[5,37]，”modeling“：[6]，”the“：[7,73,82,88103]，”spatial“：[8]，”temporal“：[9,74]，”and“：[10,27,35,47,59,98117127]，”security“：[11,52,86]，”aspects“：[12]，”necessary“：[13]，“for”：[14,24,32131]，“global”：[15,91]，“computing.”：[16]，“integrated”：[18]MetaML“：[19，67]，”（an）：[20]，“扩展”：[21]，“of”：[22，44，49，66，72，90105120]，“SML”：[23]，“多级”：[25]，“编程）”：[26]，“Klaim”：[28]，“（\u00e0”：[29107]，“内核”：[30]，“语言”：[31]，“代理”：[33]，“交互”：[34]，“移动性”，“：[36]，“顺序”：[38]，“到”：[39]，“允许”：[40]，“交错”：[41]，“元编程”：[43]，“活动”：[44]，“（例如“：[45,54]，“assembly”：[46]，“linking”：[48]，“code”：[50101134]，“fragments”），“：[51]，“checks”：[53]，“type-checking”：55]，“at”：[56]，“administrative”：[57]，“boundaries”）：[58]，“normal”：[60]，“computational”：[61]，“activities”。“：[62]，”The“：[63111]，”staging“：[64]，”annotations“：[65]，”provide“：[68]，”fine-grain“：[70]，”control“：%71]，”aspects“，”：[75]，“Klaim's”：[76]，“primitives”：[77]，“support”：[78]，“location”：[79]，“awarence”：[80]，“while”：[81]，“type”:[83115124]，“system”：+84109116]，“supports”：+85]，“through”“：[87102]，”使用“：[89104130]，”类型“：[92]，”（in“：[93]，”组合“：[94]，”与“：[95]，”动态“：[96]，”类型检查）“：[97]，”通用“：[99]，”移动“：[100133]，”多态性“：[106]，”la“：[108]，”F）。“：[110]，”paper“：[112]，”descriptions“：[113]，”syntax，“：[114]，”operational“：[118]，”semantics“：[119]，”MetaKlaim“：[121]，”states“：[122]，”two“：[123]，”safety“：[125]，”results“，”：[126]，“examples”：[128]，“its”：[129]，“descripting”：[132]，“applications”。“：[135]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1966408635“，”counts_by_year“：[]，”updated_date“：”2024-08-22T06:32:58.051610“，”创建日期“：”2016-06-24“}