Registered user since Wed 6 Jan 2016

Name: Tommaso Petrucciani

Country: Italy

Affiliation: University of Genoa, France

Personal website: http://dibris.unige.it/petrucciani-tommaso

Research interests: Programming languages, Type theory, Semantics, Functional programming, Object oriented programming

ICFP 2016 Activities

• Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track in ICFP 2016
• Show activities from other conferences