Is sound gradual typing dead? Performance problems in Typed Racket (2016)dl.acm.org46 pointsfanf29 months ago