2019
A Temporal Logic for Higher-Order Functional Programs.
Proceedings of the Static Analysis - 26th International Symposium, 2019