TY  - RPRT
TI  - Type Soundness for Path Polymorphism
AU  - Andrés Viso
AU  - Eduardo Bonelli
AU  - Mauricio Ayala-Rincón
PY  - 2016
DO  - 10.1016/j.entcs.2016.06.015
UR  - https://arxiv.org/abs/1601.03271
ID  - 1601.03271
ER  -