142 citations · 367 across the 12 of their papers we have counts for
1 paper · 2 filters
Ohad Kammar, Matija Pretnar
We present a straightforward, sound Hindley-Milner polymorphic type system for algebraic effects and handlers in a call-by-value calculus, which allows type variable generalisation…