5 results

• 5type-systems
• 5rust
• 5programming

1. Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated)

   gankra.github.io

   • programming
   • rust
   • type-systems

2. Putting the stack back into Stacked Borrows

   www.ralfj.de

   • programming
   • rust
   • type-systems

3. Rust: A unique perspective

   limpet.net

   • programming
   • rust
   • type-systems

4. Stacked Borrows Implemented

   www.ralfj.de

   • programming
   • rust
   • type-systems

5. Unsafe as a Human-Assisted Type System

   matklad.github.io

   • programming
   • rust
   • type-systems