Simple and Effective Type Check Removal through Lazy Basic Block Versioning
drops.dagstuhl.de