TY  - RPRT
TI  - Sequential decision problems, dependent types and generic solutions
AU  - Nicola Botta
AU  - Patrik Jansson
AU  - Cezar Ionescu
AU  - David R. Christiansen
AU  - Edwin Brady
PY  - 2017
DO  - 10.23638/lmcs-13(1:7)2017
UR  - https://arxiv.org/abs/1610.07145
ID  - 1610.07145
ER  -