
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, abortion of the current loop, and so on. In this Element, the authors make the...
Release Date: Nov 30, 2026