@收款{zbMATH06282460，作者={Eisenberg，Richard A.和Vytiniotis，Dimitrios和Peyton Jones，Simon和Weirich，Stephanie}，标题={带重叠方程式的封闭型族}，BookTitle={2014年1月22日至24日，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥}，国际标准图书编号={978-1-4503-2544-8}，页码＝{671-683}，年份={2014}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2535838.2535856}，关键词={68N18}，URL={repository.brynmawr.edu/cgi/viewcontent.cgi？article=1006&context=compsci_pubs}，zbMATH={6282460}，Zbl={1284.68130}}