Botta, N, Jansson, P, Ionescu, C, Christiansen, D & Brady, EC
2017, 'Sequential decision problems, dependent types and generic solutions
' Logical Methods in Computer Science
, vol. 13, no. 1, 7. DOI: 10.23638/LMCS-13(1:7)2017
Slama, F & Brady, EC
2017, Automatically proving equivalence by type-safe reflection
. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings.
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17/07/17
. DOI: 10.1007/978-3-319-62075-6_4
2014, Resource-dependent algebraic effects
. in J Hage & J McCarthy (eds), Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers.
Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 8843, Springer, Cham, pp. 18-33, Trends in Functional Programming, Soesterberg, Netherlands, 26/05/14
. DOI: 10.1007/978-3-319-14675-1_2
Botta, N, Ionescu, C & Brady, EC
2013, 'Sequential decision problems, dependently typed solutions
' Paper presented at CICM 2013: Conference on Intelligent Computer Mathematics, Bath, United Kingdom, 8/07/13