TY  - RPRT
TI  - Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
AU  - Ishan Bhanuka
AU  - Lionel Parreaux
AU  - David Binder
AU  - Jonathan Immanuel Brachthäuser
PY  - 2024
DO  - 10.1145/3622812
UR  - https://arxiv.org/abs/2402.12637
ID  - 2402.12637
ER  -