Share this postInteresting Papers: April 2023www.alexrp.comCopy linkFacebookEmailNotesOtherInteresting Papers: April 2023Intermediate representations, type check removal, and type inference.Alex Rønne PetersenApr 18, 2023Share this postInteresting Papers: April 2023www.alexrp.comCopy linkFacebookEmailNotesOtherShareOptimizing Compilation with the Value State Dependence GraphRVSDG: An Intermediate Representation for Optimizing CompilersSingle-Pass Generation of Static Single-Assignment Form for Structured LanguagesSimple and Effective Type Check Removal through Lazy Basic Block VersioningPractical Type Inference Based on Success Typings