Publications tagged "Memoization"
Automation CPS Certification Complexity Analysis Constraint Systems Functional Programming Graph Rewriting Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Runtime Complexity Analysis Sized-Types TCT Term Rewriting Termination Types
2018
-
M. Avanzini and U. Dal Lago. “On Sharing, Memoization, and Polynomial Time”. Information and Computation 261, part 1:3–22, 2018. Elsevier. © Creative Commons License - ND.