{“id”：“https://openalex.org/W1491716119“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_17“，”title“：”A Substructural Type System for Delimited Continuations“，”display_name“：”B Substructure Type System for Delimited Continuations“，”publication_year“：2007，”publiction_date“：”2007-01“，”ids“：{”openalex“：”https://openalex.org/W1491716119“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_17“，”mag“：”1491716119“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_17“，”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/A5071276091“，”display_name“：”Oleg Kiselyov“，”orcid“：”https://orcid.org/0000-0002-2570-2186“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Oleg Kiselyov“，”raw _ afiliation_strings“：[”FNMOC“]，”从属关系“：[{”raw_ afiliation _string“：”FNMOC“，”institution_ids“：[]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5021546193“，”display_name“：”Chung-chieh Shan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210096112“，”display_name“：”罗格斯大学性健康和生殖健康与权利“，”ror“：”https://ror.org/00rcvgx40“，”“country_code”“：”NL“，”type“：”其他“，”世系“：[”https://openalex.org/I4210096112“]}]，”countries“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Chung-chieh Shan“，”raw _affiliation_strings“：【”罗格斯大学*“】，”affiliations“：[{”raw _affiliation_string“：”罗格斯学院*“，”institution_ids“：[“https://openalex.org/I4210096112“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.27，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：87，“最大”：88}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”223“，”last_page“：”239“}，”is_retracted“：false，”is_paratext“：fase，”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.9956，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9917，“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/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.533873}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.530164}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.523366}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.513391}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.51205}]，”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.8331066}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.6234639}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6152325}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.6080703}，{”id“：”https://openalex.org/C88626702，“wikidata”：https://www.wikidata.org/wiki/Q1128903“，”display_name“：”Continuation“，”level“：2，”score“：0.57813305}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5255172}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”Operational semantics“，”level“：3，”score“：0.49809813｝，｛”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.44984907}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.44834772}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42070815}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.41093102}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.35764247}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_17“，”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}，”best_oa_location“：null”，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“score”：0.54，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：52，”referenced_works“：[”https://openalex.org/W1545144190","https://openalex.org/W1548773923","https://openalex.org/W1560680014","https://openalex.org/W1561321642","https://openalex.org/W1678057017网址","https://openalex.org/W1705887879","https://openalex.org/W1830706226","https://openalex.org/W1963705166","https://openalex.org/W1966776129","https://openalex.org/W1980476455","https://openalex.org/W1980939032","https://openalex.org/W1981224255","https://openalex.org/W1992124283","https://openalex.org/W1999336811","https://openalex.org/W2007759294","https://openalex.org/W2016326123","https://openalex.org/W2020568152","https://openalex.org/W2030098725","https://openalex.org/W2043100293","https://openalex.org/W2048921878","https://openalex.org/W2053198071","https://openalex.org/W2080655045","https://openalex.org/W2084804301","https://openalex.org/W2098983494","https://openalex.org/W2102435409","https://openalex.org/W2113098044","https://openalex.org/W2118002698","https://openalex.org/W2132500556","https://openalex.org/W2135287414","https://openalex.org/W2136545577","https://openalex.org/W2140892577","https://openalex.org/W2146369345","https://openalex.org/W2152013675","https://openalex.org/W2160646753","https://openalex.org/W2162091032","https://openalex.org/W2163705167","https://openalex.org/W2168866950","https://openalex.org/W2293168108","https://openalex.org/W2293423472","https://openalex.org/W2294422796","https://openalex.org/W2296725671","https://openalex.org/W2912949875","https://openalex.org/W2999365512","https://openalex.org/W3105810746","https://openalex.org/W3109129416","https://openalex.org/W4210848565","https://openalex.org/W4242125186","https://openalex.org/W4249172135","https://openalex.org/W4252451952","https://openalex.org/W4256143062","https://openalex.org/W4297039634","https://openalex.org/W4388122616“]，”related_works“：[”https://openalex.org/W68504575","https://openalex.org/W3021668409","https://openalex.org/W2787105657","https://openalex.org/W2379521952","https://openalex.org/W2142782287","https://openalex.org/W2007334542","https://openalex.org/W1880843538","https://openalex.org/W1597178555","https://openalex.org/W1562070815","https://openalex.org/W1491716119“]，”ngrams_url“：”https://api.openalex.org/works/W1491716119/ngrams网站“，”abstract_inverted_index“：{“We”：[0,13,73]，“propose”：[1]，“type”：[2,52,80,92]，“systems”：[3]，“that”：[4]，“abstractly”：[5]，“interpret”：[6]，“small-step”：[7]，“not”：[8]，“than”：[9]，“big-step”：[10]，“operational”：[11,42]，“semantics.”：[12]，“treat”：[14]，”an“：[15]，”expression“：[16]，”或“：[17,93]，”评估“：[18,64]，”上下文“：[19]，”作为“：[20]，”a“：[21,24,79118]，“结构”：[22]，“in”：[23,40,50105]，“线性”：[25]，“逻辑”：[26]，“with”：[27]，“假设”：[28]，“推理”。“：[29]，”评估“：[30]，”顺序“：[31]，”是“：[32]，”不是“：[33]，”仅“：[34]，”调节“：[35]，”由“：[36,47]，”熟悉“：[37]，”聚焦“：[38]，”规则“：[39,49]，”该“：[41,51,55,69,90,96]，”语义“：[43]，”但“：[44,68]，”也“：[45]，”表达“：[46]，”结构“：[48]，“系统”：[53]，“so”：[54]，“类型”：[56109]，“轨迹”：[57]，“控制”：[58,87]，“流量”：[59]，“更多”：[60]，“紧密。”：[61]，“绑定”：[62]，“和”：[63107]，“上下文”：[65]，“是”：[66,71]，“相关的”：[67]，“后一个”：[70]，“线性的。”：[72]，“使用”：[74]，“这些”：[75]，“思想”：[76]，“到”：[77110]，“构建”：[78]，“系统”：[81]，“用于”：[82]，“定界”：[83]，“延续。”：[84]，“它”：[85]，“let”：[86]，“operators”：[88]，“change”：[89]，“answer”：[9112]，“act”：[94]，“beyond”：[95]，“最近”：[97]，“动态包含”：[98]，“分隔符”，“：[99]，“尚未”：[100]，“需要”：[101]，“否”：[102]，“额外”：[103]，“字段”：[104]，“判断”：[106]，“箭头”：[108]，“记录”：[111]，“类型。”：[113]，“The”：[114]，“typeing”：[115]，“derivation”：[116]，“of”：[117]，“direct-style”：[119]，“program”：[120]，“desugars”：[121]，“it”：[122]，“into”：[123]，“continuation-passing”：[124]，“样式”：[125]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1491716119“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：1}，”“年份”:2019，”“cited_by-count”“：1}，”“：2012，”cited_by_count“：2}]，“updated_date”：“2024-06-20T21:54:06.532135”，“创建日期”：“2016-06-24"}