Articles with public access mandates - Patrik JanssonLearn more
Available somewhere: 13
Testing polymorphic properties
JP Bernardy, P Jansson, K Claessen
ESOP 2010: 19th European Symposium on Programming, LNCS 6012/2010, 125-144, 2010
Mandates: Swedish Research Council
Contributions to a computational theory of policy advice and avoidability
N Botta, P Jansson, C Ionescu
Journal of Functional Programming 27, e23, 2017
Mandates: European Commission
Testing type class laws
J Jeuring, P Jansson, C Amaral
Proceedings of the 2012 Haskell Symposium, 49-60, 2012
Mandates: Swedish Research Council
Sequential decision problems, dependent types and generic solutions
N Botta, P Jansson, C Ionescu, DR Christiansen, E Brady
Logical Methods in Computer Science 13 (1), 2017
Mandates: Danish National Advanced Technology Foundation, European Commission
Bayesian optimization of massive material injection for disruption mitigation in tokamaks
I Pusztai, I Ekmark, H Bergström, P Halldestam, P Jansson, M Hoppe, ...
Journal of Plasma Physics 89 (2), 905890204, 2023
Mandates: Swiss National Science Foundation, Swedish Research Council, European Commission
The impact of uncertainty on optimal emission policies
N Botta, P Jansson, C Ionescu
Earth System Dynamics 9 (2), 525-542, 2018
Mandates: European Commission
Extensional equality preservation and verified generic programming
N Botta, N Brede, P Jansson, T Richter
Journal of Functional Programming 31, e24, 2021
Mandates: European Commission
Type theory as a framework for modelling and programming
C Ionescu, P Jansson, N Botta
International Symposium on Leveraging Applications of Formal Methods, 119-133, 2018
Mandates: European Commission
Fluid and kinetic studies of tokamak disruptions using Bayesian optimization
I Ekmark, M Hoppe, T Fülöp, P Jansson, L Antonsson, O Vallhagen, ...
Journal of Plasma Physics 90 (3), 905900306, 2024
Mandates: Knut and Alice Wallenberg Foundation, Swedish Research Council, European …
Responsibility Under Uncertainty: Which Climate Decisions Matter Most?
N Botta, N Brede, M Crucifix, C Ionescu, P Jansson, Z Li, ...
Environmental Modeling & Assessment 2023, 2023
Mandates: European Commission
Saint: An API-generic type-safe interpreter
M Algehed, P Jansson, SH Einarsdóttir, A Gerdes
International Symposium on Trends in Functional Programming, 94-113, 2018
Mandates: Knut and Alice Wallenberg Foundation, European Commission
VisPar: Visualising dataflow graphs from the Par monad
M Algehed, P Jansson
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High …, 2017
Mandates: European Commission
Bayesian optimization of disruption scenarios with fluid-kinetic models
I Ekmark, I Pusztai, M Hoppe, P Jansson, T Fülöp
49th EPS Conference on Plasma Physics, EPS 2023, Bordeaux, France, Jul 3 …, 2023
Mandates: European Commission
Publication and funding information is determined automatically by a computer program