Ill-Typed Programs Don't Evaluate. - Steven Ramsay; Charlie Walpole (Proc. ACM Program. Lang., 2024)