Registered user since Sun 13 Nov 2016

Name: Matteo Cimini

Affiliation: Indiana University

POPL 2016 Activities

• Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track in POPL 2016
• Show activities from other conferences