No Good Answers, Gradually Typed Object-Oriented Languages 2017-05-09 :: HOPL, Gradual Typing By: Ben Chung