A system for fast dynamic type and bounds checking in unsafe languages like Cgithub.com/stephenrkell5 pointscreolabs8 years ago