TY  - RPRT
TI  - Unboxed data constructors -- or, how cpp decides a halting problem
AU  - Nicolas Chataing
AU  - Stephen Dolan
AU  - Gabriel Scherer
AU  - Jeremy Yallop
PY  - 2024
DO  - 10.1145/3632893
UR  - https://arxiv.org/abs/2311.07369
ID  - 2311.07369
ER  -