Elements in Semantics

Dylan Bumford, Simon Charlow

Effect-Driven Interpretation

Computer programs are often factored into pure components - simple, total functions from inputs to outputs - and components that may have side effects - errors, changes to memory, parallel threads, aborti…