BibTeX record conf/popl/PetersenHCP03

download as .bib file

@inproceedings{DBLP:conf/popl/PetersenHCP03,
  author    = {Leaf Petersen and
               Robert Harper and
               Karl Crary and
               Frank Pfenning},
  title     = {A type theory for memory allocation and data layout},
  booktitle = {{POPL}},
  pages     = {172--184},
  publisher = {{ACM}},
  year      = {2003}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics