。 。 。 。 。 “托马斯·布尔盖特等人：《通过抽象单数实现灵活教学集语义》（经验报告）（2023年）”。 。 。 _：ID_654fe0ebc7c2e75c8c7af79eea41df5d。_：ID_654fe0ebc7c2e75c8c7af79eea41df5d 。_：ID_654fe0ebc7c2e75c8c7af79eea41df5d 。_：ID_654fe0ebc7c2e75c8c7af79eea41df5d“journals/pacmpl/BourgeatCEGSWC23”。 _：ID_fe82eec9b1930dd97397e087838332cea。_：ID_fe82eec9b1930dd97397e08783832个 。_：ID_fe82eec9b1930dd97397e08783832个 。_：ID_fe82eec9b1930dd97397e08783832个"10.1145/3607833" . “灵活的教学——通过抽象单数设置语义（经验报告）。”。 。 。 。 。 。 。 。 。 "7"^^。 _：Sig_09cd88d571a4bea030f89f889423b6a1_1。_：Sig_09cd88d571a4bea030f89f889423b6a1_1 。_：Sig_09cd88d571a4bea030f89f889423b6a1_1“托马斯·布尔盖特”。_：Sig_09cd88d571a4bea030f89f889423b6a1_1 。_：Sig_09cd88d571a4bea030f89f889423b6a1_1 。_：Sig_09cd88d571a4bea030f89f889423b6a1_1"1"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_1 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_2。_：Sig_09cd88d571a4bea030f89f889423b6a1_2 。_：Sig_09cd88d571a4bea030f89f889423b6a1_2“伊恩·克莱斯特”。_：信号_09cd88d571a4bea030f89f889423b6a1_2 。_：Sig_09cd88d571a4bea030f89f889423b6a1_2 。_：Sig_09cd88d571a4bea030f89f889423b6a1_2"2"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_2 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_3。_：Sig_09cd88d571a4bea030f89f889423b6a1_3 。_：Sig_09cd88d571a4bea030f89f889423b6a1_3“安德烈斯·埃尔布森”。_：Sig_09cd88d571a4bea030f89f889423b6a1_3 。_：Sig_09cd88d571a4bea030f89f889423b6a1_3 。_：Sig_09cd88d571a4bea030f89f889423b6a1_3"3"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_3 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_4。_：Sig_09cd88d571a4bea030f89f889423b6a1_4 。_：Sig_09cd88d571a4bea030f89f889423b6a1_4“塞缪尔·格鲁特”。_：Sig_09cd88d571a4bea030f89f889423b6a1_4 。_：Sig_09cd88d571a4bea030f89f889423b6a1_4 。_：Sig_09cd88d571a4bea030f89f889423b6a1_4"4"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_4 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_5。_：Sig_09cd88d571a4bea030f89f889423b6a1_5 。_：Sig_09cd88d571a4bea030f89f889423b6a1_5“普拉塔普·辛格”。_：Sig_09cd88d571a4bea030f89f889423b6a1_5 。_：Sig_09cd88d571a4bea030f89f889423b6a1_5 。_：Sig_09cd88d571a4bea030f89f889423b6a1_5"5"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_5 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_6。_：Sig_09cd88d571a4bea030f89f889423b6a1_6 。_：Sig_09cd88d571a4bea030f89f889423b6a1_6“安迪·赖特”。_：Sig_09cd88d571a4bea030f89f889423b6a1_6 。_：Sig_09cd88d571a4bea030f89f889423b6a1_6 。_：Sig_09cd88d571a4bea030f89f889423b6a1_6"6"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_6 。 _：Sig_09cd88d571a4bea030f89f889423b6a1_7。_：信号_09cd88d571a4bea030f89f889423b6a1_7 。_：信号_09cd88d571a4bea030f89f889423b6a1_7“Adam Chlipala”。_：Sig_09cd88d571a4bea030f89f889423b6a1_7 。_：Sig_09cd88d571a4bea030f89f889423b6a1_7 。_：Sig_09cd88d571a4bea030f89f889423b6a1_7"7"^^。_：Sig_09cd88d571a4bea030f89f889423b6a1_7 。 。 。 。 "108-124" . “程序ACM程序语言”。 “程序ACM程序语言”。 "7" . “ICFP”。 "2023"^^。 "--08"^^。 “dblp记录'journals/pacmpl/BourgeatCEGSWC23'的RDF数据的起源信息”。 。 。 。 “2023-12-31T19:06:34+0100”。