Tommaso Petrucciani

According to our database, Tommaso Petrucciani authored at least 4 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

Tommaso Petrucciani

PhD thesis, 2019

Gradual typing: a new perspective.

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek

Proc. ACM Program. Lang., 2019

2018

Semantic Subtyping for Non-Strict Languages.

Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

2016

Set-theoretic types for polymorphic variants.

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016