{“id”：“https://openalex.org/W2964755768“，”doi“：”https://doi.org/10.1145/3341714“，”title“：“分级模式类型的定量程序推理”，”display_name“：”分级模式类型定量程序推理“，”publication_year“：2019，”publitation_date“：”2019-07-26“，”ids“：{”openalex“：”https://openalex.org/W2964755768“，”doi“：”https://doi.org/10.1145/3341714“，”mag“：”2964755768“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3341714，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3341714，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，”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://dl.acm.org/doi/pdf/10.1145/3341714“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5064585229“，”display_name“：”Dominic Orchard“，”orcid“：”https://orcid.org/0000-0002-7058-7842}，“机构”：[{“id”：https://openalex.org/I20581793“，”display_name“：”肯特大学“，”ror“：”https://ror.org/00xkeyj56“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I20581793“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Dominic Orchard“，”raw _affiliation_strings“：【”英国肯特大学“】，”affiliations“：[{”raw _affiliation_string“：”英国肯特大学“，”institution_ids“：[“https://openalex.org/I20581793“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5001225843“，”display_name“：”Vilem-Benjamin Liepelt“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I20581793“，”display_name“：”肯特大学“，”ror“：”https://ror.org/00xkeyj56“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I20581793“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Vilem Benjamin Liepelt“，”raw_affiation_strings“：[”英国肯特大学“]，”附属机构“：[｛”raw_affiation_string“：”英国肯特大学“，”institution_ids“：[”https://openalex.org/I20581793“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005740055“，”display_name“：”哈雷伊德斯“，”兽人“：”https://orcid.org/0000-0001-8474-5971}，“机构”：[{“id”：https://openalex.org/I25041050“，”display_name“：”奥古斯塔大学“，”ror“：”https://ror.org/012mef835“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I25041050“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Harley Eades III“，”raw _affiliation_strings“：【”Augusta University，USA“】，”affiliations“：[{”raw _affiliation_string“：”Augu斯塔University's“，”institution_ids“：[“https://openalex.org/I25041050“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“fwci”：6.49，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：51，“citected_by_percentile_year”：{“min”：97，“max”：98}，“biblio”“：{”volume“：”3“，”issue“：”ICFP“，”first_page“：”1“，”last_page“：”30“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”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.9916，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.524692}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7258107}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.64293855}，{”id“：”https://openalex.org/C138958017，“wikidata”：https://www.wikidata.org/wiki/Q190087“，”display_name“：”数据类型“，”level“：2，”score“：0.5750013}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.5297756}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.52025497}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.5068715}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.46257025}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4286456}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076网址“，”display_name“：”函数编程“，”level“：2，”score“：0.41860524}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41183928}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.30622143}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推理“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3341714，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3341714，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://kar.kent.ac.uk/74450/1/paper.pdf，“pdf_url”：https://kar.kent.ac.uk/74450/1/paper.pdf，“源”：{“id”：https://openalex.org/S4377196264“，”display_name“：”Kent Academic Repository（University of Kent）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I20581793“，”“host_organization_name”：“肯特大学”，“host_ordanization_lineage”：[“https://openalex.org/I20581793“]，”host_organization_lineage_names“：[”肯特大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3341714，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3341714，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/M026124/1“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：47，”referrenced_works“：[”https://openalex.org/W111511002","https://openalex.org/W1488538795","https://openalex.org/W1550526517","https://openalex.org/W1556536463","https://openalex.org/W15833160网址","https://openalex.org/W1678412398","https://openalex.org/W1829244603","https://openalex.org/W1830196027","https://openalex.org/W1971256104","https://openalex.org/W1981311833","https://openalex.org/W1988824860","https://openalex.org/W1992310464","https://openalex.org/W2007273498","https://openalex.org/W2012968289","https://openalex.org/W20138908","https://openalex.org/W2016389769","https://openalex.org/W2027193703","https://openalex.org/W2034870916","https://openalex.org/W2062887328","https://openalex.org/W2081139297","https://openalex.org/W2114058479","https://openalex.org/W2124126159","https://openalex.org/W2137282578","https://openalex.org/W2145029935","https://openalex.org/W2293797630","https://openalex.org/W2296725671","https://openalex.org/W2339107952","https://openalex.org/W2510433231","https://openalex.org/W2515656721","https://openalex.org/W2517279098","https://openalex.org/W2562060745","https://openalex.org/W2799182172","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W2949482260","https://openalex.org/W2963937673","https://openalex.org/W3121479906","https://openalex.org/W3125045354","https://openalex.org/W3147781287","https://openalex.org/W3181070739","https://openalex.org/W4235964071","https://openalex.org/W4241006348","https://openalex.org/W42423436","https://openalex.org/W4251772834","https://openalex.org/W4254983202","https://openalex.org/W4288360776","https://openalex.org/W4393717992“]，”related_works“：[”https://openalex.org/W4251133021","https://openalex.org/W3110513392","https://openalex.org/W3019138974","https://openalex.org/W2531621405","https://openalex.org/W2510433231","https://openalex.org/W2139966078","https://openalex.org/W2105831091","https://openalex.org/W2095136535","https://openalex.org/W1966091859","https://openalex.org/W1836373119“]，”ngrams_url“：”https://api.openalex.org/works/W2964755768/ngrams网站“，”“abstract_inverted_index”：{“In”：[0115]，“programming”：[1]，“some”：[2]，“data”：[3,42]，“acts”：[4]，“as”：[5,23]，“a”：[6,18,38,60147158163]，“resource”：[7]，“（例如，”：[8]，“file”：/9]，“handles，”：[10]，“channels）”：[11]，“subject”：[12]，“to”：[13,20,28,45,80143]，“usage”“：[14]，”约束。“：[15]，”此“：[16]，”姿势“：[17]，”挑战“：[19]，”软件“：[21]，”正确性“：[22]，”大多数“：[24]，”语言“：[25]，”是“：[26]，”不可知“：[27]，”约束“：[29]，”on“：[30,74]，”数据。“：[31]，”The“：[32]，”approach“：[33156]，”of“：[34,70,98108140150]，”linear“：[35118]，”types“：[36,76104127]，”provides“：[3]7,59]，”partial“：[39]，”remedive“：[40]，”delitiating“：[41]，”into“：[43]，”resourcess“：44]，”be“：[46]，”used“：[47]，”but“：48]，”never“：[49]，”copyed“：[50]，“or”：[51]，“discreated”，“：[52]，”and“：[53105119145]，”unrestrained“：[54]，”values。“：[55]，”有界“：[56]，”线性“：[57]，”逻辑“：[58]，”更多“：[61]，”细粒度“：[62]，”方法“：[63]，”量化“：[64]，”非线性“：[65]，”使用“：[66]，”via“：[67112157]，”an“：[68129]，”indexed-family“：[69]，”模态。“：[71]，“最近”：[72]，“工作”：[73]，“共同作用”：[75103]，“概括”：[77]，“这个”：[78155]，“想法”：[79]，“分级”：[81,99113125]，“辅音，”：[82]，“提供”：[83]，“类型”：[84131141159]，“系统”：[85142]，“其中”：[86]，“可以”：[87]，“捕获”：[88144]，“各种”：[89170]，“程序”：[90135151]，“属性。“：[91152]，”这里，“：[92]，”我们“：[93122]，”提议“：[94]，”这个“：[95138]，”伞“：[96]，”概念“：[97]，”模态“：[100126]，”类型，“：[10112]，”包含“：[102]，”双重“：[106]，”观念“：[107]，”基于类型“：[109]，”效果“：[110]，”推理“：[111]，”单子。“：[114]，”组合“：[116]，”与“：[117]，”索引“：[120]，”显示“：[123]，”那个“：[124]，”提供“：[128]，”表达“：[130]，”理论“：[132]，”for“：[133]，”定量“：[134]，”推理“：[136]，”推进“：[137]，”到达“：[139]，”验证“：[146]，”更广泛“：[148]，”集合“：[149]，”我们“：[153]，”演示“：[154]，“系统”：[160]，“具体化”：[161]，“在”：[162]，“fully-fledged“：[164]，”functional“：[165]，”language“：[166]，”called“：[167]，”Granule“，”：[168]，”explorering“：[169]，”examples。“：[171]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2964755768“，”counts_by_year“：[{“年”：2024，”cited_by_count“：1}，{“年份”：2023，”ciped_by_cunt“：8}，”{“年度”：2022，“cited_by_count”：10}，“年份”:2021，“cited_by_count）：22}，}“年“：2020，”cited_by_counts“：10}]，”updated_date“：”2024-06-23T09:23:14.789727“，”created_date:“2019-08-13”}