55 citations · 97 across the 13 of their papers we have counts for
1 paper · 1 filter
Andrej Bauer, Matija Pretnar
We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expre…