Set-theoretic types for polymorphic variants. - Giuseppe Castagna; Tommaso Petrucciani; Kim Nguyen 001 (ICFP, 2016)

Semantic Subtyping for Non-Strict Languages. - Tommaso Petrucciani; Giuseppe Castagna; Davide Ancona; Elena Zucca (TYPES, 2018)

Gradual typing: a new perspective. - Giuseppe Castagna; Victor Lanvin; Tommaso Petrucciani; Jeremy G. Siek (Proc. ACM Program. Lang., 2019)

Polymorphic set-theoretic types for functional languages. (Types ensemblistes polymorphes pour les langages fonctionnels). - Tommaso Petrucciani (2019)