On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M23Kammar

From WG 2.11
Revision as of 03:22, 27 March 2024 by Jeremy-y (talk | contribs) (Add Ohad's abstract)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Paella: handlers for parameterised algebraic effects (Ohad Kammar)

Algebraic effects and their handlers have become more prominent in modern programming languages due to their flexibility and expressiveness in incorporating effects into their host language. Traditional algebraic effects are based on Plotkin and Power's semantics for computational effects using algebraic theories. Sam Staton designed a more expressive semantic theory called parameterised algebraic theories. These theories can account for more sophisticated effects, including: local state with cyclic references, unix-like forks, and logic programming / unification-based constraint solving. I will report about early work-in-progress implementing a library for parameterised algebraic effects and handlers.

Joint work with Cristina Matache and Jesse Sigal.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M23Kammar&oldid=2597"