conf.researchr.org / Tommaso Petrucciani
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:http://dibris.unige.it/petrucciani-tommaso
Research interests:Programming languages, Type theory, Semantics, Functional programming, Object oriented programming

Contributions

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