Parametricity, or Comptime is Bonkers

Operational and Denotational Strategies for Understanding Code

Understanding Virtual Machine Dispatch through Duality (2023)