12 citations · 23 across the 4 of their papers we have counts for
1 paper · 2 filters
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…