Patrik Jansson

Professor of Computer Science


Computer Science and Engineering

Chalmers University of Technology

GRACeFUL: Global systems Rapid Assessment tools through Constraint FUnctional Languages


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


Follow this website

You need to create an Owlstown account to follow this website.

Sign up

Already an Owlstown member?

Log in