Publication

Contract-Based Resource Verification for Higher-Order Functions with Memoization