Is Sound Gradual Typing Dead? https://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf (explores the significant performance cost of partially specified types in Racket)