TY  - RPRT
TI  - Well-Typed Languages are Sound
AU  - Matteo Cimini
AU  - Dale Miller
AU  - Jeremy G. Siek
PY  - 2016
UR  - https://arxiv.org/abs/1611.05105
ID  - 1611.05105
ER  -