TY  - RPRT
TI  - Ill-Typed Programs Don't Evaluate
AU  - Steven Ramsay
AU  - Charlie Walpole
PY  - 2023
UR  - https://arxiv.org/abs/2307.06928
ID  - 2307.06928
ER  -