A type theory for memory allocation and data layout (2003)

by Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
Venue:In Proceedings of the Thirtieth ACM Symposium on Principles of Programming Languages