D dl.acm.org Is sound gradual typing dead? Performance problems in Typed Racket (2016) 46 points fanf2 1 year ago 8 comments
