Monadification, Memoization and Dynamic Programming

Simon Wimmer, Shuwei Hu, Tobias Nipkow. Monadification, Memoization and Dynamic Programming. Archive of Formal Proofs, 2018, 2018. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: