Programming Language Semantics and Memory Safety (via abhin4v) — discussion

#plt