Tommaso Petrucciani

Registered user since Wed 6 Jan 2016

Name: Tommaso Petrucciani

Country: Italy

Affiliation: DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France

Personal website:

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


POPL 2019Author of Gradual Typing: A New Perspective within the Research Papers-track
ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2017Student Volunteers in Organizing Committee
ICFP 2016Author of Set-Theoretic Types for Polymorphic Variants within the Research Papers-track
POPL 2016Author of Set-theoretic types for polymorphic variants in ML within the SRC-track