Verified Memoization and Dynamic Programming.

Simon Wimmer, Shuwei Hu, Tobias Nipkow

Browse the full ITP paper archive.