BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cimini:Matteo

Contributed to:

ESOP 20152015
POPL 20152015
LATA 20112011
SLE 20182018
POPL 20162016
POPL 20172017

Wrote 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.
Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.