@misc{indiciae11d6d5137dd7,
  title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)},
  author = {Esben Andreasen and Colin S. Gordon and Satish Chandra and Manu Sridharan and Frank Tip and Koushik Sen},
  year = {2016},
  url = {https://arxiv.org/abs/1605.01362},
  note = {Source identifier: 1605.01362}
}