Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/pacmpl/LagoVMY19
AU - Lago, Ugo Dal
AU - Visme, Marc de
AU - Mazza, Damiano
AU - Yoshimizu, Akira
TI - Intersection types and runtime errors in the pi-calculus.
JO - Proc. ACM Program. Lang.
VL - 3
IS - POPL
SP - 7:1
EP - 7:29
PY - 2019//
DO - 10.1145/3290320
UR - https://doi.org/10.1145/3290320
ER -
