Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi: The behavior of gradual types: a user study. DLS 2018: 1-12