托马斯·布尔盖特 伊恩·克莱斯特 安德烈斯·埃尔布森 塞缪尔·格鲁特 普拉塔普·辛格 安迪·赖特 亚当·克利帕拉 灵活的教学——通过抽象单数设置语义（经验报告）。 108-124 2023 八月 7 程序。ACM计划。语言。 ICFP公司 https://doi.org/10.1145/3607833 db/journals/pacmpl/pacmpl7.html#BourgeatCEGSWC23