{“id”：“https://openalex.org/W1537143151“，”doi“：”https://doi.org/10.1007/3-540-45022-x_4“，”title“：”Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming“，”display_name“：”Closed Types as a Simply Approachs to Safe Imperative Mui-stage Programming“，”publication_year“：2000，”publiction_date“：”2000-01-01“，”ids“：{”openalex“：”https://openalex.org/W1537143151“，”doi“：”https://doi.org/10.1007/3-540-45022-x_4“，”mag“：”1537143151“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45022-x_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Cristiano Calcagno“，”raw _ affiliation_strings“：[“DISI，Univ.di Genova，Geneva，Italy”]，”affiliation“：[{”raw _affiliation_string“：”DISI，UNIX di Genava，Genovahttps://openalex.org/I83816512“]}]}，{”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“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Eugenio Moggi“，”raw _ affiliation_strings“：[“DISI，Univ.di Genova，Geneva，Italy”]，”affiliation“：[{”raw _affiliation_string“：”DISI，UNIX di Genava，Genovahttps://openalex.org/I83816512“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5008976751“，”display_name“：”Walid Taha“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I66862912“，”display_name“：”查尔默斯理工大学“，”ror“：”https://ror.org/040wg7k59“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I66862912“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Walid Taha“，”raw _affiliation_strings“：[“计算科学部，查尔默斯，G\u00f6teborg，瑞典”]，”affiliations“：[{”raw _affiliation_string“：”计算科学部https://openalex.org/I66862912“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”has_fulltext“：false，”cited_by_count：29，“cited_by_percentile_year”：{“min”：89，“max”：90}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”25“，”last_page“：”36“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9984，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.494312}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8874284}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6818582}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.60287535}，{”id“：”https://openalex.org/C2164484，“wikidata”：https://www.wikidata.org/wiki/Q5170150“，”display_name“：”芯（光纤）“，”level“：2，”score“：0.54669726}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.43527246}，{”id“：”https://openalex.org/C2776245389，“wikidata”：https://www.wikidata.org/wiki/Q962139“，”display_name“：”编程风格“，”level“：2，”score“：0.4254192}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45022-x_4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“｝，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[｛”display_name“：”优质教育“，”score“：0.63，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1555697857网址","https://openalex.org/W1679133098","https://openalex.org/W1829244603","https://openalex.org/W1982122213","https://openalex.org/W1988177568","https://openalex.org/W2015256273","https://openalex.org/W2073378225","https://openalex.org/W2088735483","https://openalex.org/W2094455839","https://openalex.org/W2096314727","https://openalex.org/W2106445678","https://openalex.org/W2134291411","https://openalex.org/W3162918618“]，”related_works“：[”https://openalex.org/W593478746","https://openalex.org/W4323238794","https://openalex.org/W4312309273","https://openalex.org/W3136890312","https://openalex.org/W3016342375","https://openalex.org/W2259894237","https://openalex.org/W2132325017","https://openalex.org/W2100079361","https://openalex.org/W1923258046","https://openalex.org/W1671914757“]，”ngrams_url“：”https://api.openalex.org/works/W1537143151/ngrams网站“，”“abstract_inverted_index”：{“安全”：[0]，“添加”：[1]，“计算”：[2,48]，“效果”：[3,49]，“到”：[4,22,45,77]，“a”：[5,16,24,35,42,59,85]，“多级”：[6,51,70,96]，“语言”：[7,61,67]，“has”：[8]，“been”：[9]，“an”：[10]，“open”：[11]，“问题。”：[12]，“In”：[13,75]，“上一个”：[14]，“工作”：[15]，“关闭”：[17,39]，“类型”：[18,40]，“构造函数”：[19]，“过去”：[20]，“已使用”：[21]，“提供”：[23]，“安全”：[25]，“机制”：[26]，“用于”：[27,95]，“执行”：[28]，“动态”：[29]，“生成”：[30]，“代码”：[31]，“此”：[32,65]，“论文”：[33]，“建议”：[34]，“一般”：[36]，“概念”：[37]，“of”：[38,87]，“as”：[41]，“简单”：[43]，“方法”：[44,56]，“安全”：[46,69]，“引入”：[47]，“进入”：[50]，“语言”：[52]，“我们”：[53]，“演示”：[54]，“此”：[55]，“正式”：[57]，“in”：[58]，“核心”：[60,66,93]，“调用”：[62]，“Mini-MLref”：[63]，“BN.”：[64]，“组合”：[68]，“构造”：[71]，“和”：[72]，“ML-style”：[73]，“引用”：[74]，“添加”：[76]，“合并”：[78]，“状态”：[79]，“迷你-ML”：[80]，“参考”：[81]，“BN”：[82]，“也”：[83]，“体现”：[84]，“数字”：[86]，“技术”：[88]，“改进”：[89]，“超过”：[90]，“以前”：[91]，“建议”：[92]，“语言”：[94]，“编程”：[97]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1537143151“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-06-19T01:36:47.712701“，”created_dates“：”2016-06-24“}