Type-Safe Pointers in ATS
blog.vmchale.com