142 citations · 367 across the 12 of their papers we have counts for
1 paper · 1 filter
Andrej Bauer, Matija Pretnar
Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms fro…