http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23Kammar 2026-04-05T19:31:24Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23Kammar&diff=2597&oldid=prev 2024-03-27T01:22:22Z

<p>Add Ohad&#039;s abstract</p> <p><b>New page</b></p><div>== Paella: handlers for parameterised algebraic effects (Ohad Kammar) == <br /> <br /> Algebraic effects and their handlers have become more prominent in<br /> modern programming languages due to their flexibility and<br /> expressiveness in incorporating effects into their host language.<br /> Traditional algebraic effects are based on Plotkin and Power&#039;s<br /> semantics for computational effects using algebraic theories. Sam<br /> Staton designed a more expressive semantic theory called parameterised<br /> algebraic theories. These theories can account for more sophisticated<br /> effects, including: local state with cyclic references, unix-like<br /> forks, and logic programming / unification-based constraint solving.<br /> I will report about early work-in-progress implementing a library for<br /> parameterised algebraic effects and handlers.<br /> <br /> Joint work with Cristina Matache and Jesse Sigal.</div>

Jeremy-y