Monadification, Memoization and Dynamic Programming

MaRDI QIDQ7361005FDO

Authors Simon Wimmer, Shuwei Hu, Tobias Nipkow

Publication date 22 May 2018

Cites work

• Code generation via higher-order rewrite systems
• Concrete semantics. With Isabelle/HOL
• Data refinement in Isabelle/HOL
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Imperative Functional Programming with Isabelle/HOL
• Implementing and reasoning about hash-consed data structures in Coq
• Isabelle/HOL. A proof assistant for higher-order logic
• Monadification of functional programs
• Optimum binary search trees
• Refinement to Imperative/HOL
• Verified memoization and dynamic programming

Cited in

(2)

• Hidden Markov Models
• Optimal Binary Search Trees

This page was built for software: Monadification, Memoization and Dynamic Programming