Ravichandhran Madhavan, Sumith Kulal, and Viktor Kuncak. Contract-based resource verification for higher-order functions with memoization. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017.

[ bib ] Back