Explore >> Select a destination

You are here

 vale.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
| | borretti.me
Type Systems for Memory Safety
1.6 parsecs away

Travel
| | A survey of type systems for memory safety.
| | verdagon.dev
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
0.0 parsecs away

Travel
| |
| | manishearth.github.io
A Tour of Safe Tracing GC Designs in Rust - In Pursuit of Laziness
5.2 parsecs away

Travel
| | I've been thinking about garbage collection in Rust for a long time, ever since I started working on Servo's JS layer. I've designed a GC library, ...
| | www.ralfj.de
Formalizing Rust
16.5 parsecs away

Travel
| My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...