@inproceedings{tgpk-dls-2018,
  author={Tunnell Wilson, Preston and Greenman, Ben and Pombrio, Justin and Krishnamurthi, Shriram},
  title={The Behavior of Gradual Types: A User Study},
  booktitle={{DLS}},
  pages={1--12},
  year={2018}
}