The behavior of gradual types: a user study.

Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi

Browse the full DLS paper archive.