An Agda formalisation of the transitive closure of block matrices (extended abstract)

Adam Sandberg Eriksson, Patrik Jansson

James Chapman, Wouter Swierstra, Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016, ACM, 2016, pp. 60--61

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu

Earth System Dynamics, vol. 9, Copernicus GmbH, 2018, pp. 525--542

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin C. Brady

Log. Methods Comput. Sci., vol. 13, Episciences. org, 2017

VisPar: visualising dataflow graphs from the Par Monad

Maximilian Algehed, Patrik Jansson

Phil Trinder, Cosmin E. Oancea, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September 7, 2017, ACM, 2017, pp. 24--29

Saint: An API-Generic Type-Safe Interpreter

Maximilian Algehed, Patrik Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes

Lecture Notes in Computer Science, Michal H. Palka, Magnus O. Myreen, Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers, vol. 11457, Springer, 2018, pp. 94--113