@收款{zbMATH07722322，作者={Lakhani、Zeeshan和Das、Ankush和DeYoung、Henry和Mordido、Andrea和Pfenning、Frank}，标题＝{极化子类型}，BookTitle={编程语言和系统。第31届欧洲编程研讨会，ESOP 2022，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2022，德国慕尼黑，2022年4月2-7日。诉讼}，国际标准图书编号={978-3-030-99335-1；978-3-0.30-99336-8}，页码={431--461}，年份＝{2022}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-030-99336-8_16}，关键词={68N30,03B70,68N18}，zbMATH={7722322}，Zbl={1528.68082}}