Write a Blog >>
Tommaso Petrucciani

Registered user since Wed 6 Jan 2016

Name: Tommaso Petrucciani

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

Contributions

POPL 2016Author of Set-theoretic types for polymorphic variants in ML within the SRC-track
Show activities from other conferences

POPL 2016-profile
View general profile