Trace Typing An Approach for Evaluating Retrofitted Type Systems (Extended Version)

Andreasen, Esben, Gordon, Colin S., Chandra, Satish, Sridharan, Manu, Tip, Frank, Sen, Koushik

number SRA-CSIC-2016-001, May 2016

pdf url

Bibtex

@techreport{sra-csic-2016-001,
  author = {Andreasen, Esben and Gordon, Colin S. and Chandra, Satish and Sridharan, Manu and Tip,
      Frank and Sen, Koushik},
  title = {{Trace Typing An Approach for Evaluating Retrofitted Type Systems (Extended Version)}},
  year = 2016,
  month = {May},
  number = {SRA-CSIC-2016-001},
  institution = {{Samsung Research America}},
  note = "Also available from Computing Research Repository (CoRR), arXiv cs.PL 1605.01362. ",
  url = {https://arxiv.org/abs/1605.01362},
  eprint = {1605.01362}
}