On the correctness of monadic backward induction

DOI10.1017/S0956796821000228OpenAlexW3198223321MaRDI QIDQ5019023

Nuria Brede, Nicola Botta

Publication date: 27 December 2021

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.02143

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Extensional equality preservation and verified generic programming ⋮ On the correctness of monadic backward induction

Cites Work

• Probabilities, distribution monads, and convex categories
• Proofs of randomized algorithms in Coq
• Stochastic optimal control. The discrete time case
• Algorithm Design with Haskell
• Contributions to a computational theory of policy advice and avoidability
• Extensional equality preservation and verified generic programming
• On the correctness of monadic backward induction
• Idris, a general-purpose dependently typed programming language: Design and implementation
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the correctness of monadic backward induction