Typed and Confused: Studying the Unexpected Dangers of Gradual Typing

Published in IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024