research data . Dataset . 2016

Is sound gradual typing dead?

Takikawa, Asumu; Feltey, Daniel; Greenman, Ben; New, Max S.; Vitek, Jan; Felleisen, Matthias;
  • Published: 01 Jan 2016
  • Publisher: Association for Computing Machinery (ACM)