Tommaso Petrucciani

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Arabic Language

Semantically Related

Intermediate Representations

Top Venues

Proc. ACM Program. Lang.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3 (POPL) (2019)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic subtyping for non-strict languages. CoRR (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic Subtyping for Non-Strict Languages. TYPES (2018)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-Theoretic Types for Polymorphic Variants. CoRR (2016)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-theoretic types for polymorphic variants. ICFP (2016)