110 citations · 125 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 110 cited
Koka: Programming with Row Polymorphic Effect Types
Daan Leijen
We propose a programming model where effects are treated in a disciplined way, and where the potential side-effects of a function are apparent in its type signature. The type and e…
cs.PL2014★ 15 cited
Polymonadic Programming
Michael Hicks, Gavin Bierman, Nataliya Guts +2
Monads are a popular tool for the working functional programmer to structure effectful computations. This paper presents polymonads, a generalization of monads. Polymonads give the…