@misc{indiciae6e7d737dbf66,
  title = {Sequential decision problems, dependent types and generic solutions},
  author = {Nicola Botta and Patrik Jansson and Cezar Ionescu and David R. Christiansen and Edwin Brady},
  year = {2017},
  doi = {10.23638/lmcs-13(1:7)2017},
  url = {https://arxiv.org/abs/1610.07145},
  note = {Source identifier: 1610.07145}
}