activity
20162026
most citedInductive and Coinductive Predicate Liftings for Effectful Programs

1 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2020 · cs.LOShow all

1 paper · 2 filters

cs.LO2020★ 1 cited

From Equations to Distinctions: Two Interpretations of Effectful Computations

Niels Voorneveld

There are several ways to define program equivalence for functional programs with algebraic effects. We consider two complementing ways to specify behavioural equivalence. One way…