Type Systems for Memory Safety Comments via adaszko@users.lobste.rs (adaszko) | Lancern's Treasure Chest

07:56 · Jul 26, 2023 · Wed

Type Systems for Memory Safety

Comments

via adaszko@users.lobste.rs (adaszko)

Fernando Borretti

Type Systems for Memory Safety

Type Systems for Memory Safety

A survey of type systems for memory safety.

Powered by BroadcastChannel & Sepia