Temporal verification of higher-order functional programs. - Akihiro Murase; Tachio Terauchi; Naoki Kobayashi 001; Ryosuke Sato 001; Hiroshi Unno 001 (POPL, 2016)