Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Tommaso Petrucciani

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 2016Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile