Stream of Consciousness

Share this post

Interesting Papers: April 2023

www.alexrp.com

Interesting Papers: April 2023

Intermediate representations, type check removal, and type inference.

Alex Rønne Petersen
Apr 18, 2023
Share this post

Interesting Papers: April 2023

www.alexrp.com
Share
  • Optimizing Compilation with the Value State Dependence Graph

  • RVSDG: An Intermediate Representation for Optimizing Compilers

  • Single-Pass Generation of Static Single-Assignment Form for Structured Languages

  • Simple and Effective Type Check Removal through Lazy Basic Block Versioning

  • Practical Type Inference Based on Success Typings

Share this post

Interesting Papers: April 2023

www.alexrp.com
Share
Comments
Top
New
Community

No posts

Ready for more?

© 2023 Alex Rønne Petersen
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing