Gradually Typed Languages Should Be Vigilant! - Olek Gierczak; Lucy Menon; Christos Dimoulas; Amal Ahmed 001 (Proc. ACM Program. Lang., 2024)