Publications


Articles dans des revues internationales avec comité de lecture

[1] Intersection Types and Runtime Errors in the Pi-Calculus
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Proceedings of the ACM on Programming Languages, POPL:7, 3, 2019