｛“id”：“https://openalex.org/W4386316895“，”doi“：”https://doi.org/10.1145/3607833“，”title“：”灵活教学-通过抽象单子集设置语义（体验报告）“，”display_name“：”柔性教学-通过摘要单子集集语义（体验报道）“，“publication_year”：2023，“publiation_date”：“2023-08-30”，“ids”：{“openalex”：“https://openalex.org/W4386316895“，”doi“：”https://doi.org/10.1145/3607833“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3607833，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3607833，“源”：{“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“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/3607833“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5031573662“，”display_name“：”Thomas Bourgeat“，”orcid“：”https://orcid.org/0000-0002-8468-8409}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Thomas Bourgeat“，”raw _affiliation_strings“：【”美国麻省理工学院“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062087506“，”display_name“：”Ian Clester“，”orcid“：”https://orcid.org/0009-00006-2383-4739}，“机构”：[{“id”：https://openalex.org/I130701444“，”display_name“：”佐治亚理工学院“，”ror“：”https://ror.org/01zkghx44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I130701444“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ian Clester“，”raw _ afiliation_strings“：[“美国佐治亚理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5082766906“，”display_name“：”Andres Erbsen“，”orcid“：”https://orcid.org/0000-0002-9854-7500}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Andres Erbsen“，”raw _ afiliation_strings“：[“美国麻省理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5028002789“，”display_name“：”Samuel Gruetter“，”orcid“：”https://orcid.org/0000-0001-8369-9117}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”网址：https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Samuel Gruetter“，”raw _ afiliation_strings“：[“美国麻省理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5025647926“，”display_name“：”Pratap Singh“，”orcid“：”https://orcid.org/0000-0002-7139-2334}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Pratap Singh“，”raw _ afiliation_strings“：[“美国卡内基梅隆大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5062156434“，”display_name“：”Andrew Wright“，”orcid“：”https://orcid.org/0000-0002-0127-0331}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Andy Wright“，”raw _affiliation_strings“：[“美国麻省理工学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5078100439“，”display_name“：”Adam Chlipala“，”orcid“：”https://orcid.org/0000-0001-7085-9417}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Adam Chlipala“，”raw _ afiliation_strings“：[“美国麻省理工学院”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：3，”corresponding_author_ids“：[]，”correcponding_institution_idsfulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：78}，”biblio“：{“volume”：“7”，”issue“：”ICFP“，”first_page“：”108“，”last_page“：“124”}，“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“：”人工智能“}，”字段“：{”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“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.999，”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.9962，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.576678｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.820192}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7964643}，{”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.71270263｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5734377}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5383711}，{”id“：”https://openalex.org/C200065993，“wikidata”：https://www.wikidata.org/wiki/Q3954981“，”display_name“：”计算语义“，”level“：4，”score“：0.47483546}，{”id“：”https://openalex.org/C146499914，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.44167864}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.43464643}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.42458066}，{”id“：”https://openalex.org/C27777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.42383784}，{”id“：”https://openalex.org/C168065819，“wikidata”：https://www.wikidata.org/wiki/Q845566“，”display_name“：”调试“，”级别“：2，”分数“：0.4227092}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.41869342}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.24633059}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19402131}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3607833，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3607833，“源”：{“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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3607833，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3607833，“源”：{“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“：[{”id“：”https://metadata.un.org/sdg/4“，”score“：0.54，”display_name“：”素质教育“}]，”grants“：[{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“CCF-1521584”}，{“funder”：“https://openalex.org/F4320332180“，”“funder_display_name”“：”国防高级研究计划局“，”award_id“：”HR001118C0018“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：17，”referrenced_works“：[”https://openalex.org/W1501535194","https://openalex.org/W1755481569","https://openalex.org/W2037984920","https://openalex.org/W2049600101","https://openalex.org/W2059895047","https://openalex.org/W2073001576","https://openalex.org/W2100424584","https://openalex.org/W21733400","https://openalex.org/W2566098178","https://openalex.org/W2624503265","https://openalex.org/W2886472010","https://openalex.org/W2899599233","https://openalex.org/W2995075587","https://openalex.org/W3011074696","https://openalex.org/W3175981353","https://openalex.org/W4239031877","https://openalex.org/W4281916531“]，”related_works“：[”https://openalex.org/W4285217401","https://openalex.org/W3106373601","https://openalex.org/W3007870257","https://openalex.org/W2348616540","https://openalex.org/W2089938479","https://openalex.org/W2073736684","https://openalex.org/W1975908952","https://openalex.org/W1530733469","https://openalex.org/W1487472891","https://openalex.org/W1426476981“]，”ngrams_url“：”https://api.openalex.org/works/W4386316895/ngrams网站“，”“abstract_inverted_index”：{“指令”：[0]，“集合”，“：[1,30]，”来自“：[2]，”系列“：[3]，”类似“：[4,54]，”x86“：[5]，”和“：[6,21,59128134139]，”ARM，“：[7]，”是“：[8,63]，”在“：[9]，”这个“：[10,57,66,72,75140]，”中心“：[11]，”的“：[12,28,68,74,95111131153]，”许多“：[13]，”雄心勃勃“：[14]，”形式方法“：[15]，”项目。“：[16]，”很多“：[17]，”验证“：[18]，”合成，“：[19]，”编程，“：[20]，”调试“：[22]，”工具“：[23,33,49,62]，”依赖“：[24]，”依赖”：[25,51102109]，“形式”：[26]，“语义”：[27,36,88112122]，“指令”：[29,69]，“但是”：[31]，“不同”：[32,39,85]，“可以”：[34149]，“使用”：[35]，“in”：[37,90]，“而不是”：[38]，“方式●●●●。“：[40]，“The”：[41]，“best known”：[42]，“work”：[43]，“application”：[44]，“single”：[P5120]，“across”：[47]，“diversity”：[48]，“dependes”：[50]，“domain-specific”：[52]，“languages”：[53]，“Sail”，“：[55]，”where“：[56]，”language“：[58105]，”its“：[60]，”translation“：[61]，”specific“：[64]，”to“：[65，82123142]，“领域”：[67]，“集合”。“：[70]，”In“：[71]，”context“：[73]，”open“：[76]，”RISC-V“：[77]，”指令集“：[78]，”family“：[79]，”we“：[80]，”determent“：[81]，”explore“：[83]，”a“：[84,91119]，”approach“：[86]，”with“：[87]，”written“：[89]，”小心“：[92]，”selected“：[93]，”subset“：[94]，”Haskell。“：[96]，”This“：[97]，”style“：[98]，”does“：[99]，”not“：[100]，”depend“：[101]，”any“：[103]，”new“：%104]，”translator“，”：[106]，”依赖“：[107]，”改为“：[108]，”参数化“：[110]，”over“：[113144]，”type-class“：[114]，”instances“。“：[115]，“我们”：[116]，“有”：[117]，“使用过的”：[118]，“核心”：[121]，“支持”：[124150]，“测试”：[125]，“交互”：[126]，“证明”：[127]，“模型”：[129]，“检查”：[130]，“两者”：[132]，“软件”：[133]，“硬件”：[135]，“演示”：[136]，“that”：[137]，“monad”：[138]，“能力”：[141]，抽象“：[143]，”他们“：[145]，”使用“：[146]，”类型“：[147]，”类“：[148]，”令人愉快”：[151]，“原型”：[152]，“ISA”：[154]，“语义。“：[155]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W4386316895“，”counts_by_year“：[]，”updated_date“：”2024-05-31T07:07:11.088557“，”created_date:“2023-09-01”}“