Registered user since Sun 13 Nov 2016

Name: Matteo Cimini

Affiliation: Indiana University, USA

ICFP 2016 Activities

• Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track in ICFP 2016
• Show activities from other conferences