@收款{zbMATH06642942，作者={Murase、Akihiro和Terauchi、Tachio和Kobayashi、Naoki和Sato、Ryosuke和Unno、Hiroshi}，标题={高阶函数程序的时间验证}，BookTitle={第43届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL'16，美国佛罗里达州圣彼得堡，2016年1月20-22日}，国际标准图书编号={978-1-4503-3549-2}，页码={57--68}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2837614.2837667}，关键词={68Q60,68N18,68Q45}，zbMATH＝{6642942}，Zbl={1347.68233}}