<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
@Unpublished{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 = 	 {(Submitted for publication.)},
  month =	 {July},
  year =	 2002
}

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

@TechReport{petersen+:ordered-tr,
  author = 	 {Leaf Petersen and Robert Harper and Karl Crary and Frank Pfenning},
  title = 	 {A Type Theory for Memory Allocation and Data Layout (Extended Version)},
  institution =  {Carnegie Mellon University School of Computer Science},
  year = 	 2002,
  number =	 {CMU--CS--02--171},
  address =	 {Pittsburgh, PA},
  month =	 {August}
}