Introduction to type and memory safety [C++ proposal] [pdf]github.com/isocpp2 pointsamluto11 years ago