Graph IRs for Impure Higher-Order Languages (Technical Report)

Oliver Bračevac, Guannan Wei, Songlin Jia +4

This is a companion report for the OOPSLA 2023 paper of the same title, presenting a detailed end-to-end account of the ${\lambda }_{\mathsf{G}}^{\ast }$ graph IR, at a level of detail beyond a r…