45 citations · 146 across the 18 of their papers we have counts for
1 paper · 1 filter
Oleg Kiselyov, KC Sivaramakrishnan
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large…