Tommaso Petrucciani

Registered user since Wed 6 Jan 2016

Name:Tommaso Petrucciani
Affiliation:DIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France
Research interests:Programming languages, Type theory, Semantics, Functional programming, Object oriented programming


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