×
2019
A Temporal Logic for Higher-Order Functional Programs.
[DOI]
Yuya Okuyama
,
Takeshi Tsukada
,
Naoki Kobayashi
Proceedings of the Static Analysis - 26th International Symposium, 2019