@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} }