Contributions to a computational theory of policy advice and avoidability

DOI10.1017/S0956796817000156zbMath1476.68049OpenAlexW2765919195MaRDI QIDQ4577808

Cezar Ionescu, Patrik Jansson, Nicola Botta

Publication date: 3 August 2018

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

Full work available at URL: https://doi.org/10.1017/s0956796817000156

Mathematics Subject Classification ID

Decision theory (91B06) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (2)

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

Uses Software

• Haskell
• Agda
• Irdis
• AoPA
• Idris

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• A functional theory of exceptions
• International emissions trading: good or bad?
• The case for international emission trade in the absence of cooperative climate policy
• Learning, Local Interaction, and Coordination
• Algebra of programming in Agda: Dependent types for relational program derivation
• Dynamic Programming as Graph Searching: An Algebraic Approach
• The Evolution of Conventions
• Idris, a general-purpose dependently typed programming language: Design and implementation

This page was built for publication: Contributions to a computational theory of policy advice and avoidability