TY  - RPRT
TI  - Unboxing Virgil ADTs for Fun and Profit
AU  - Bradley Wei Jie Teo
AU  - Ben L. Titzer
PY  - 2024
DO  - 10.1145/3694848.3694857
UR  - https://arxiv.org/abs/2410.11094
ID  - 2410.11094
ER  -