1 citations · 3 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Quantitative Logics for Equivalence of Effectful Programs
Niels Voorneveld
In order to reason about effects, we can define quantitative formulas to describe behavioural aspects of effectful programs. These formulas can for example express probabilities th…
cs.LO2019
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…