@techreport{cs2-06-1,
  title = {{Refined Criteria for Gradual Typing}},
  author = {Siek, Jeremy G. and Vitousek, Michael M. and Cimini, Matteo and Boyland, John Tang},
  year = {2015},
  url = {https://jsiek.github.io/home/refined-criteria-gradual.pdf},
  institution = {SNAPL; inspected author manuscript}
}

@techreport{cs2-06-2,
  title = {{Well-typed programs can't be blamed}},
  author = {Wadler, Philip and Findler, Robert Bruce},
  year = {2009},
  url = {https://users.cs.northwestern.edu/~robby/pubs/papers/esop2009-wf.pdf},
  institution = {ESOP 2009; author technical report}
}

@techreport{cs2-06-3,
  title = {{Gradual Typing in an Open World}},
  author = {Vitousek, Michael M. and Siek, Jeremy G.},
  year = {2016},
  url = {https://arxiv.org/abs/1610.08476},
  institution = {arXiv}
}

@techreport{cs2-06-4,
  title = {{Monotonic References for Gradual Typing}},
  author = {Siek, Jeremy G. and Vitousek, Michael M.},
  year = {2014},
  url = {https://arxiv.org/abs/1312.0694},
  institution = {arXiv, version 2}
}

@techreport{cs2-06-5,
  title = {{Optimizing and Evaluating Transient Gradual Typing}},
  author = {Vitousek, Michael M. and Siek, Jeremy G. and Chaudhuri, Avik},
  year = {2019},
  url = {https://arxiv.org/abs/1902.07808},
  institution = {arXiv}
}

@techreport{cs2-06-6,
  title = {{Graduality from Embedding-projection Pairs (Extended Version)}},
  author = {New, Max S. and Ahmed, Amal},
  year = {2018},
  url = {https://arxiv.org/abs/1807.02786},
  institution = {arXiv; ICFP extended version}
}