Typed and Confused: Studying the Unexpected Dangers of Gradual Typing. - Dominic Troppmann; Aurore Fass; Cristian-Alexandru Staicu (ASE, 2024)