Nicola Botta

Publications (12)
Projects (1)

Showing 12 publications

2026

Types, equations, dimensions and the Pi theorem

Nicola Botta, Patrik Jansson

Journal of Functional Programming. Vol. 36

Journal article

2024

Lost options commitment: how short-term policies affect long-term scope of action

Marina Martínez Montero, Nuria Brede, Victor Couplet et al

Oxford Open Climate Change. Vol. 4 (1)

Journal article

2023

Perspectives on adaptive dynamical systems

Jakub Sawicki, Rico Berner, Sarah A.M. Loos et al

Chaos. Vol. 33 (7)

Review article

2023

Responsibility Under Uncertainty: Which Climate Decisions Matter Most?

Nicola Botta, Nuria Brede, Michel Crucifix et al

Environmental Modeling and Assessment. Vol. 28 (3), p. 337-365

Journal article

2022

SURFER v2.0: a flexible and simple model linking anthropogenic CO2 emissions and solar radiation modification to ocean acidification and sea level rise

Marina Martinez Montero, Michel Crucifix, Victor Couplet et al

Geoscientific Model Development. Vol. 15 (21), p. 8059-8084

Journal article

2021

Extensional equality preservation and verified generic programming

Nicola Botta, Nuria Brede, Patrik Jansson et al

Journal of Functional Programming. Vol. 31

Journal article

2021

On the correctness of monadic backward induction

Nuria Brede, Nicola Botta

Journal of Functional Programming. Vol. 31

Journal article

2018

The impact of uncertainty on optimal emission policies

Nicola Botta, Patrik Jansson, Cezar Ionescu

Earth System Dynamics. Vol. 9 (2), p. 525-542

Journal article

Show project

2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11244 LNCS (1), p. 119-133

Paper in proceeding

Show project

2017

Contributions to a computational theory of policy advice and avoidability

Nicola Botta, Patrik Jansson, Cezar Ionescu

Journal of Functional Programming. Vol. 27, p. 1-52

Journal article

Show project

2017

Sequential decision problems, dependent types and generic solutions

Nicola Botta, Patrik Jansson, Cezar Ionescu et al

Logical Methods in Computer Science. Vol. 13 (1)

Journal article

2007

Multi-Language Library Development. From Haskell Type Classes to C++ Concepts.

Marcin Zalewski, Andreas Priesnitz, Cezar Ionescu et al

Multiparadigm Programming with Object-Oriented Languages, an ECOOP workshop

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2022–2023

OptiFun: Optimising Fusion with Functional Programming

Patrik Jansson Functional Programming

Ida Ekmark Subatomic, High Energy and Plasma Physics

Tünde-Maria Fülöp Subatomic, High Energy and Plasma Physics

Nicola Botta Functional Programming

Istvan Pusztai Subatomic, High Energy and Plasma Physics

Nicholas Smallbone Functional Programming

Chalmers

1 publication exists

There might be more projects where Nicola Botta participates, but you have to be logged in as a Chalmers employee to see them.