Types and higher-order recursion schemes for verification of higher-order programs (2009)

by Naoki Kobayashi
Venue:In POPL ’09: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages