This repository contains Idris code supporting the computation of Sequential Decision Problems (SDPs). The ongoing research is also documented in some research papers (see below).
2016-08-18: Note The development has moved to a new gitlab repo at PIK:
https://gitlab.pik-potsdam.de/botta/IdrisLibs
Some related Agda code is available in patrikja/SeqDecProb_Agda.
- manuscripts/
- 2014.LMCS: code from the paper "SDPs, dependent types and generic solutions". The simple "cylinder" example.
- 2015.JFP: code from the paper "Contributions to a computational theory of policy advice and avoidability". A fairly self-contained file with the core development, some more code from the paper sections. The code is a snapshot matching the paper when submitted. (The full support framework keeps developing.)
- frameworks/ Supporting code for the papers - Years 2011-2014 and a reworked structure from 2014-.
- issue_reports/ The development of this code base has resulted in quite a few issue reports for the Idris implementation.
- Some other directories: talks/, idris-lang/, notes/, prototypes/, ...
Title: Sequential decision problems, dependently-typed solutions.
Authors: Nicola Botta, Cezar Ionescu, and Edwin Brady.
Paper: http://ceur-ws.org/Vol-1010/paper-06.pdf
Published in Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2013), "Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)", volume 1010 of CEUR Workshop Proceedings, 2013.
Title: Sequential decision problems, dependent types and generic solutions
- 2014-08: Submitted for publication
- 2015-06: Received referee reports
- 2015-07: Resubmitted.
- 2015-12: Received 2nd round of referee reports
- 2016-02: Resubmitted.
- 2016-07: Received 3rd round of referee reports ("Accept with minor revision")
- 2016-08: Resubmitted.
- 2016-10: Accepted for publication in LICS (as is). Available at arXiv.
- 2017-03: Finally appeared in LMCS proper under DOI = 10.23638/LMCS-13(1:7)2017,
Authors: Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady
Authors: Nicola Botta, Patrik Jansson, Cezar Ionescu
- 2016-01-06: Submitted to the Journal of Functional Programming (JFP) Special issue on Dependently Typed Programming. (JFP is a RoMEO Green journal.)
- 2016-07: Review verdict: "Reject and resubmit"
- 2016-11-11: Re-submitted to the Journal of Functional Programming (JFP)
- 2017-03: Review: "resubmit with revisions"
The work was partially supported by the GRACeFUL project (640954, from the call H2020-FETPROACT-2014) and by the CoeGSS project (676547, H2020-EINFRA-2015-1) in the context of Global Systems Science (GSS).