values and computation

Last updated Jun 3, 2024

• Universal Properties of Impure Programming Languages (Staton, Levy)