TY  - RPRT
TI  - From F to DOT: Type Soundness Proofs with Definitional Interpreters
AU  - Tiark Rompf
AU  - Nada Amin
PY  - 2016
UR  - https://arxiv.org/abs/1510.05216
ID  - 1510.05216
ER  -