%0 Journal Article %1 Colyer2018RustBelt %A Colyer, Adrain %D 2018 %J the morning paper %K 00a17-external-book-reviews 03b15-higher-order-logic-type-theory 68n15-programming-languages 68q55-semantics rust %T RustBelt: Securing the Foundations of the Rust Programming Language %U https://blog.acolyer.org/2018/01/18/rustbelt-securing-the-foundations-of-the-rust-programming-language/

@article{Colyer2018RustBelt, added-at = {2019-03-01T00:11:50.000+0100}, author = {Colyer, Adrain}, biburl = {https://www.bibsonomy.org/bibtex/2894c1a2229eb5a7920783bace9a0fa2e/gdmcbain}, citeulike-article-id = {14550849}, citeulike-linkout-0 = {https://blog.acolyer.org/2018/01/18/rustbelt-securing-the-foundations-of-the-rust-programming-language/}, day = 18, interhash = {2f11b616511226f8e3ed4fb3ddeb4da2}, intrahash = {894c1a2229eb5a7920783bace9a0fa2e}, journal = {the morning paper}, keywords = {00a17-external-book-reviews 03b15-higher-order-logic-type-theory 68n15-programming-languages 68q55-semantics rust}, month = jan, posted-at = {2018-03-18 22:42:22}, priority = {0}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {RustBelt: Securing the Foundations of the {R}ust Programming Language}, url = {https://blog.acolyer.org/2018/01/18/rustbelt-securing-the-foundations-of-the-rust-programming-language/}, year = 2018 }