TY  - RPRT
TI  - Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)
AU  - Esben Andreasen
AU  - Colin S. Gordon
AU  - Satish Chandra
AU  - Manu Sridharan
AU  - Frank Tip
AU  - Koushik Sen
PY  - 2016
UR  - https://arxiv.org/abs/1605.01362
ID  - 1605.01362
ER  -