%0 Conference Paper %1 conf/icalp/CraryM99 %A Crary, Karl %A Morrisett, J. Gregory %B ICALP %D 1999 %E Wiedermann, Jirí %E van Emde Boas, Peter %E Nielsen, Mogens %I Springer %K dblp %P 40-54 %T Type Structure for Low-Level Programming Languages. %U http://dblp.uni-trier.de/db/conf/icalp/icalp99.html#CraryM99 %V 1644 %@ 3-540-66224-3

@inproceedings{conf/icalp/CraryM99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Crary, Karl and Morrisett, J. Gregory}, biburl = {https://www.bibsonomy.org/bibtex/21a206bb4724459976c4e0e82bb42e661/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/99}, editor = {Wiedermann, Jirí and van Emde Boas, Peter and Nielsen, Mogens}, ee = {https://doi.org/10.1007/3-540-48523-6_4}, interhash = {a136b5989f78a94bfba7c19a95b8597f}, intrahash = {1a206bb4724459976c4e0e82bb42e661}, isbn = {3-540-66224-3}, keywords = {dblp}, pages = {40-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:42.000+0200}, title = {Type Structure for Low-Level Programming Languages.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp99.html#CraryM99}, volume = 1644, year = 1999 }