Contract-based resource verification for higher-order functions with memoization.

Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak

Browse the full POPL paper archive.