TY  - RPRT
TI  - Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML
AU  - Alvise Spanò
PY  - 2024
UR  - https://arxiv.org/abs/2406.11750
ID  - 2406.11750
ER  -