You must log in or register to comment.
Nifty! Thanks for posting this.
So basically this idea is similar to how Rust does things, except that the compiler doesn’t warn you when you are doing something unsafe? I think that is reasonable for a 2007 paper, but not necessarily today.