TY  - RPRT
TI  - Semantic subtyping for non-strict languages
AU  - Tommaso Petrucciani
AU  - Giuseppe Castagna
AU  - Davide Ancona
AU  - Elena Zucca
PY  - 2018
DO  - 10.4230/lipics.types.2018.4
UR  - https://arxiv.org/abs/1810.05555
ID  - 1810.05555
ER  -