Valen's Memory Safety: A New Kind of Borrow Checking (by Verdagon) — discussion

#compilers #plt