This is your work, valued
Enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level