Simple and Effective Type Check Removal through Lazy Basic Block Versioning
M. Chevalier-Boisvert, and M. Feeley. 29th European Conference on Object-Oriented Programming (ECOOP 2015), volume 37 of Leibniz International Proceedings in Informatics (LIPIcs), page 101--123. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2015)
DOI: 10.4230/LIPIcs.ECOOP.2015.101