Travelled to:
1 × United Kingdom
Collaborated with:
P.Jansson
Talks about:
scientif (1) program (1) exampl (1) econom (1) depend (1) comput (1) model (1) type (1)
Person: Cezar Ionescu
DBLP: Ionescu:Cezar
Contributed to:
Wrote 1 papers:
- IFL-2012-IonescuJ #modelling #programming
- Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.