Abstracting denotational interpreters

This blog post delves into denotational interpreters, focusing on how they can be parameterized over semantic domains to achieve various evaluation strategies and static analyses, including type analysis. It presents a novel contribution of a provably adequate denotational semantics for call-by-need and discusses how generated traces can enhance the description of operational properties for static analyses.