[ICFP'26] Bimodels and Biorthogonality for Abstract Machines
ACM SIGPLAN · 19:20
The speaker, Alex, argues that abstract machines should be the main thing researchers study instead of small-step operational semantics. If you give stacks (continuations) a denotation in call-by-push-value and use bi...