Publication
Found 1 results
Filters: Author is Hiroshi Unno [Clear All Filters]
.
2016. Temporal verification of higher-order functional programs. Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. :57–68.