Petersen, Harper, Crary, Pfenning, 2003. A type theory for memory allocation and data layout, in: . ACM Press.. https://doi.org/10.1145/604131.604147