Lobsters
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety#ref1 5 comments plt
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 16 comments programminglanguages
Linking pages
Linked pages
- Captcha Check https://graydon2.dreamwidth.org/307291.html 911 comments
- Microsoft: We're creating a new Rust-like programming language for secure coding | ZDNET https://www.zdnet.com/article/microsoft-were-creating-a-new-rust-based-programming-language-for-secure-coding/ 564 comments
- Val | The Val Programming Language https://www.val-lang.dev/ 424 comments
- https://vale.dev/ 325 comments
- Iterator in std::iter - Rust https://doc.rust-lang.org/std/iter/trait.Iterator.html#method.collect 232 comments
- Vale's First Prototype for Immutable Region Borrowing https://verdagon.dev/blog/first-regions-prototype 191 comments
- Carcinisation - Wikipedia https://en.wikipedia.org/wiki/Carcinisation 178 comments
- The Austral Programming Language https://austral-lang.org 123 comments
- GitHub - microsoft/verona: Research programming language for concurrent ownership https://github.com/microsoft/verona 104 comments
- https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2676r0.pdf 85 comments
- Cyclone http://cyclone.thelanguage.org/ 74 comments
- Ada 2012 Language Reference Manual http://www.ada-auth.org/standards/ada12.html 56 comments
- http://venge.net/graydon/talks/RustForModernCPPDevs.pdf 40 comments
- GitHub - pikatchu/LinearML: Functional language for parallel programming https://github.com/pikatchu/LinearML 22 comments
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.55.5439&rep=rep1&type=pdf 21 comments
- Value Oriented Programming Needs Implicits? https://matklad.github.io/2023/05/02/implicits-for-mvs.html 17 comments
- Fearless FFI: Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation https://verdagon.dev/blog/fearless-ffi 12 comments
- 2094-nll - The Rust RFC Book https://rust-lang.github.io/rfcs/2094-nll.html 8 comments
- Ada Programming/Generics - Wikibooks, open books for an open world http://en.wikibooks.org/wiki/Ada_Programming/Generics 5 comments
- ACM Sigarch Comp. Arch. News 22, 1 (Mar 1994), 34-43. https://www.plover.com/~mjd/misc/hbaker-archive/ForthStack.html 3 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:borretti.me
Search title: Type Systems for Memory Safety
See how to search.