Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/popl/PetersenHCP03
%A Petersen, Leaf
%A Harper, Robert
%A Crary, Karl
%A Pfenning, Frank
%B POPL
%D 2003
%E Aiken, Alex
%E Morrisett, Greg
%I ACM
%K dblp
%P 172-184
%T A type theory for memory allocation and data layout.
%U http://dblp.uni-trier.de/db/conf/popl/popl2003.html#PetersenHCP03
%@ 1-58113-628-5
@inproceedings{conf/popl/PetersenHCP03,
added-at = {2021-06-25T00:00:00.000+0200},
author = {Petersen, Leaf and Harper, Robert and Crary, Karl and Pfenning, Frank},
biburl = {https://www.bibsonomy.org/bibtex/2406ede1b1fb319fe5289d6ef9dd7197d/dblp},
booktitle = {POPL},
crossref = {conf/popl/2003},
editor = {Aiken, Alex and Morrisett, Greg},
ee = {https://doi.org/10.1145/640128.604147},
interhash = {41aab55bd5df04765edcdeb014a399b4},
intrahash = {406ede1b1fb319fe5289d6ef9dd7197d},
isbn = {1-58113-628-5},
keywords = {dblp},
note = {ACM SIGPLAN Notices 38(1), January 2003},
pages = {172-184},
publisher = {ACM},
timestamp = {2024-04-09T13:30:28.000+0200},
title = {A type theory for memory allocation and data layout.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2003.html#PetersenHCP03},
year = 2003
}