Behavioural Equivalence via Modalities for Algebraic Effects

Alex Simpson, Niels Voorneveld

The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two pr…