TY  - RPRT
TI  - SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
AU  - Vidush Singhal
AU  - Mikah Kainen
AU  - Artem Pelenitsyn
AU  - Michael H. Borkowski
AU  - Mike Vollmer
AU  - Milind Kulkarni
PY  - 2026
UR  - https://arxiv.org/abs/2605.01140
ID  - 2605.01140
ER  -