@收款{zbMATH06713908，作者={Watanabe，Keiichi and Sato，Ryosuke and Tsukada，Takeshi and Kobayashi，Naoki}，Title={自动否定高阶函数程序的公平终止}，BookTitle={第21届ACM SIGPLAN功能编程国际会议论文集，ICFP'16，日本奈良，2016年9月18日至22日}，国际标准图书编号={978-1-4503-4219-3}，页码={243--255}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2951913.2951919}，关键词={68Q60,68N18,68T15}，zbMATH＝{6713908}，Zbl={1361.68153}}