@InProceedings{petersen+:ordered,
  author = 	 {Leaf Petersen and Robert Harper and Karl Crary and Frank Pfenning},
  title = 	 {A Type Theory for Memory Allocation and Data Layout},
  note = 	 {Conference Record of {POPL} 03: The 30th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages},
  pages =	 {172--184},
  year =	 2003,
  address =	 {New Orleans, LA},
  month =	 {January}
}