Operational and Denotational Strategies for Understanding Code

Understanding Virtual Machine Dispatch through Duality (2023)