C. Ionescu
From MaRDI portal
Person:2980969
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Domain-specific languages of mathematics | 2022-08-17 | Paper |
| Contributions to a computational theory of policy advice and avoidability Journal of Functional Programming | 2018-08-03 | Paper |
| Sequential decision problems, dependent types and generic solutions (available as arXiv preprint) | 2017-05-08 | Paper |
| Vulnerability modelling with functional programming and dependent types Mathematical Structures in Computer Science | 2016-07-28 | Paper |
| A functional framework for agent-based models of exchange Applied Mathematics and Computation | 2012-06-13 | Paper |
Research outcomes over time
This page was built for person: C. Ionescu
