%0 Conference Paper %1 conf/popl/ShaoSTP02 %A Shao, Zhong %A Saha, Bratin %A Trifonov, Valery %A Papaspyrou, Nikolaos %B POPL %D 2002 %E Launchbury, John %E Mitchell, John C. %I ACM %K dblp %P 217-232 %T A type system for certified binaries. %U http://dblp.uni-trier.de/db/conf/popl/popl2002.html#ShaoSTP02 %@ 1-58113-450-9

@inproceedings{conf/popl/ShaoSTP02, added-at = {2023-09-30T00:00:00.000+0200}, author = {Shao, Zhong and Saha, Bratin and Trifonov, Valery and Papaspyrou, Nikolaos}, biburl = {https://www.bibsonomy.org/bibtex/21e95b8b0c96b3de16af3b59c210d62c1/dblp}, booktitle = {POPL}, crossref = {conf/popl/2002}, editor = {Launchbury, John and Mitchell, John C.}, ee = {https://doi.org/10.1145/565816.503293}, interhash = {b0743e0463b69e29d7c84158d7656c37}, intrahash = {1e95b8b0c96b3de16af3b59c210d62c1}, isbn = {1-58113-450-9}, keywords = {dblp}, note = {ACM SIGPLAN Notices 37(1), January 2002}, pages = {217-232}, publisher = {ACM}, timestamp = {2024-04-09T13:30:41.000+0200}, title = {A type system for certified binaries.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2002.html#ShaoSTP02}, year = 2002 }