{“id”：“https://openalex.org/W2480534701“，”doi“：”https://doi.org/10.1007/978-3-642-37036-6“，”title“：”Programming Languages and Systems“，”display_name“：”编程语言和系统“，”publication_year“：2013，”publiation_date“：”2013-01-01“，”ids“：{”openalex“：”https://openalex.org/W2480534701“，”doi“：”https://doi.org/10.1007/978-3-642-37036-6“，”mag“：”2480534701“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-37036-6“，”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“，”Spring er Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book“，”type_crossref“：“book”，“indexed_in”：[”crossref“，“datacite”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oaurl”：“https://hal.science/hal-00772993/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5000905628“，”display_name“：”Matthias Felleisen“，”orcid“：”https://orcid.org/0000-0001-6678-1004“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Matthias Felleisen“，”raw_affiliation_strings“：[”编程语言、类型、编译和证明“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”编程语言、类型、编译和证明“】}】，“countries_distinact_count”：0，“institutions_distiction_count“：0，”corresponding_author_ids“：[】，“correspounding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“、”value_usd“：5391，”province“：”doaj“{，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：14，”cited_by_percentile_year“：{”min“：89，”max“：90}，“biblio”：{“volume”：null，“issue”：nul，“first_p”年龄“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.6049，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”Hardware and Architecture“｝，”field“：｛”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.6049，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”Hardware and Architecture“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.583，”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/T10715“，”display_name“：”分布式网格计算系统“，”score“：0.5629，”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/keywords/distributed-systems网站“，”display_name“：”分布式系统“，”score“：0.691636}，{”id“：”https://openalex.org/keywords/memory-systems网站“，”display_name“：”Memory Systems“，”score“：0.683583｝，｛”id“：”https://openalex.org/keywords/turing-machines网站“，”display_name“：”Turing Machines“，”score“：0.682228}，{”id“：”https://openalex.org/keywords/performance-optimization网站“，”display_name“：”性能优化“，”score“：0.676729}，{”id“：”https://openalex.org/keywords/hig-performance-computing（https://openalex.org/关键字/高性能计算）“，”display_name“：”高性能计算“，”score“：0.662433}]，”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.85404074}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6064939}]，”mesh“：[]，”locations_count“：8，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-37036-6“，”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}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00772993，“pdf_url”：https://hal.science/hal-00772993/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：”other oa“，”license_id“：”https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-00772993v2/file/esop.pdf，“pdf_url”：https://hal.science/hal-00772993v2/file/esop.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-00772993v2/document，“pdf_url”：https://hal.science/hal-00772993v2/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-overtes.fr/hal-00772993/file/esop.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00772993/file/esop.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00772993v2/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00772993v2/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00772993v2/file/esop.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00772993v2/file/esop.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1301.2903“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00772993，“pdf_url”：https://hal.science/hal-00772993/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”ngrams_url“：”https://api.openalex.org/works/W2480534701/ngrams网站“，”“abstract_inverted_index”：{“While”：[0]，“generalized”：[1]，“algebral”：[2]，“datatypes”：[3]，“（\\GADTs）”：[4]，“are”：[5]，“now”：[6]，“considered”：[7]，“welly understand”：[8]，“adding”：[9]，“them”：[10]，“to”：[11,32,39,73,81,92]，“a”：[12,25,29,68]，“language”：[13]，“带有“：[14,20,85,94]，“concept”：[16]，“of”：[17,47]，“subtyping”：[18,49,87,96]，“comes”：[19]很少有“：[22]，”惊喜。“：[23]，”What“：[24]，”does“：[25]，”it“：[26]，”mean“：[27]，”for“：[28]，”\\GADT“：[30,61]，”parameter“：[31]，”be“：[33,40,79]，”协变？“：[34]，“The”：[35]，“answer”：[36]，“turns”：[37]，“out”：[38]，“quite”：[41]，“finish”。“：[42]，”It“：[43]，”涉及“：[44]，”细粒度“：[45]，”属性“：[46]，”the“：[48]，”relationship“：[50]，”that“：[51]，”raise“：[52]，”interest“：[53]，”design“：[54]，”问题。“：[55]，“We”：[56]，“allow”：[57]，“variance”：[58]，“annotations”：[59]，“in”：[60]，“definitions”，“：[62]，“study”：[63]，“their”：[64]，“soundness”，“:[65]，”and“：[66,70]，“present”：[67]，“sond”：[69]，“complete”：[71]，“algorithmic”：[72]，“check”：[74]，“它们。“：[75]，”我们的“：[76]，”工作“：[77]，”可能“：[78]，”应用“：[80]，”现实世界“：[82]，”ML-like“：[83]，”语言“：[84,93]，”显式“：[86]，”此类“：[88]，”如“：[89]，”OCaml“：[90]，”或“：[91]，”通用“：[95]，”约束。“：[97]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2480534701“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：3}，{“年度”：2021，”“cited_by_cunt”：1}，}“年份“：2020，”“：2014，”cited_by_count“：1}]，“updated_date”：“2024-06-06T09:15:40.443663”，“创建日期”：“2016-08-23"}