Travelled to:1 × India
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:J.G.Siek R.Garcia ∅ M.M.Vitousek S.Tobin-Hochstadt L.Aceto A.Ingólfsdóttir M.R.Mousavi M.A.Reniers
Talks about:gradual (5) type (4) languag (2) generat (2) methodolog (1) distribut (1) algorithm (1) program (1) princip (1) monoton (1)
Person: Matteo Cimini
DBLP: Cimini:Matteo
Contributed to:
2015
2015
2011
201820162017Wrote 6 papers:
- ESOP-2015-SiekVCTG #performance #type system
- Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
- POPL-2015-GarciaC #source code
- Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
- LATA-2011-AcetoCIMR
- Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
- SLE-2018-Cimini
- Languages as first-class citizens (MC), pp. 65–69.
- POPL-2016-CiminiS #algorithm #generative #type system
- The gradualizer: a methodology and algorithm for generating gradual type systems (MC, JGS), pp. 443–455.
- POPL-2017-CiminiS #automation #generative #semantics
- Automatically generating the dynamic semantics of gradually typed languages (MC, JGS), pp. 789–803.