''A Type Theory for Memory Allocation and Data Layout'', by Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfennig at Canegie Mellon Univerisity.  Availble at http://www-2.cs.cmu.edu/~rwh/papers/ordered/popl.pdf

An interesting paper on how to put reconcile low-level physical memory layout details of objects within a high-level (and safe) typing framework.

----

CategoryPaper CategoryTyping