Abstracting Denotational Interpreters: A Summary

I’ve been diving back into static analysis and programming language theory after a 4 year hiatus. Getting re-acquainted with papers in the field has been humbling, and can feel like solving a puzzle with infinite pieces. Writing and summarizing helps me make sense of it all, so I wanted to share my thoughts on a new paper I just read: “Abstracting Denotational Interpreters” by Graf, Peyton Jones,…