SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes. - Vidush Singhal; Mikah Kainen; Artem Pelenitsyn; Michael H. Borkowski; Mike Vollmer; Milind Kulkarni 001 (CoRR, 2026)