Commit ab20d91a authored by Nuria Brede's avatar Nuria Brede

Update README.

parent b3e8e356
# Course on functional languages and dependently typed languages
This repository contains teaching material for an introductory course on functional and dependently typed programming and its application to verified decision-making in the context of climate science, using the computational theory of policy advice and avoidability developed by Botta et al.([1],[2]).
## Acknowledgement
The data in this repository accompanies Deliverable D6.1 (D27) [4] of the TiPES (Tipping Points in the Earth System) project funded by European Union’s Horizon 2020 research and innovation programme under grant agreement No 820970.
## References
[1] Botta, N., Jansson, P., Ionescu, C. (2017). Contributions to a computational theory of policy advice and avoidability. J. Funct. Program., 27, e23.
[2] Botta, N., Jansson, P., Ionescu, C.(2018). The impact of uncertainty on optimal emission policies. Earth Syst. Dynam., 9, 525-542.
[3] Botta, N.et al.(2016-2020). IdrisLibs, https://gitlab.pik-potsdam.de/botta/IdrisLibs
[4] Botta, Nicola, Brede, Nuria, Crucifix, Michel, & Martı́nez Montero, Marina. (2021). Course on functional languages and dependently typed languages.
[Zenodo](https://doi.org/10.5281/zenodo.4543579).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment