a.md

https://forge.rust-lang.org/bibliography.html

http://getreu.net/public/downloads/doc/forensic-tool-development-with-rust/Forensic-Tool%20Development%20with%20Rust.html

https://arxiv.org/abs/1702.02951 - astrophysics

https://users.rust-lang.org/t/thesis-simple-verification-of-rust-programs-via-functional-purification/9704

https://www.reddit.com/r/rust/comments/5xgtfg/algebraic_subtyping_pdf_thesis_by_stephen_dolan/

• Structure and Influence of Package dependency networks

  • http://kodu.ut.ee/~riivokik/pubs/msr2017dependency.pdf

• "Retrofitting Linear Types" - Haskell paper references Rust

• http://pldi17.sigplan.org/event/pldi-2017-papers-simple-fast-and-safe-manual-memory-management

• https://research.vmware.com/publications/system-programming-in-rust-beyond-safety

  • https://users.rust-lang.org/t/paper-system-programming-in-rust-beyond-safety/10631

• jesperson - session types for rust