110 citations · 126 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2023★ 1 cited
Continuing WebAssembly with Effect Handlers
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha +5
WebAssembly (Wasm) is a low-level portable code format offering near native performance. It is intended as a compilation target for a wide variety of source languages. However, Was…
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…