Cezar Ionescu

Gästforskare at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 5 publications

2018

Type theory as a framework for modelling and programming

Cezar Ionescu, Patrik Jansson, Nicola Botta
. Vol. 11244 (1), p. 119-133
Paper in proceedings
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
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
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
2016

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming

Cezar Ionescu, Patrik Jansson
Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 230, p. 1-15
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 3 research projects

2015–2018

Centre of excellence for Global Systems Science (CoeGSS)

Michal Palka Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Patrik Jansson Software Technology (Chalmers)
Oskar Allerbo Computing Science (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
European Commission (Horizon 2020)

2014–2016

Domain Specific Languages of Mathematics (DSLsofMath)

Patrik Jansson Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Irene Lobo Valbuena Software Technology (Chalmers)
Adam Sandberg Eriksson Software Technology (Chalmers)
Chalmers

2012–2015

Strongly Typed Libraries for Programs and Proofs

Patrik Jansson Software Technology (Chalmers)
Jean-Philippe Bernardy Software Technology (Chalmers)
Cezar Ionescu Software Technology (Chalmers)
Swedish Research Council (VR)

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