%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 }