%0 Conference Paper %1 conf/popl/Crary03 %A Crary, Karl %B POPL %D 2003 %E Aiken, Alex %E Morrisett, Greg %I ACM %K dblp %P 198-212 %T Toward a foundational typed assembly language. %U http://dblp.uni-trier.de/db/conf/popl/popl2003.html#Crary03 %@ 1-58113-628-5

@inproceedings{conf/popl/Crary03, added-at = {2021-06-25T00:00:00.000+0200}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/2ed4055684d9bbe355d1a4e23f979b9f8/dblp}, booktitle = {POPL}, crossref = {conf/popl/2003}, editor = {Aiken, Alex and Morrisett, Greg}, ee = {https://doi.org/10.1145/640128.604149}, interhash = {31722c70fe834bded168b807ca6d5e89}, intrahash = {ed4055684d9bbe355d1a4e23f979b9f8}, isbn = {1-58113-628-5}, keywords = {dblp}, note = {ACM SIGPLAN Notices 38(1), January 2003}, pages = {198-212}, publisher = {ACM}, timestamp = {2024-04-09T13:30:28.000+0200}, title = {Toward a foundational typed assembly language.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2003.html#Crary03}, year = 2003 }