3 citations · 8 across the 7 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022★ 1 cited
On Reinforcement Learning, Effect Handlers, and the State Monad
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
We study the algebraic effects and handlers as a way to support decision-making abstractions in functional programs, whereas a user can ask a learning algorithm to resolve choices…
cs.PL2021
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems
Ugo Dal Lago, Francesco Gavazzo
We investigate program equivalence for linear higher-order(sequential) languages endowed with primitives for computational effects. More specifically, we study operationally-based…
cs.PL2020
A Diagrammatic Calculus for Algebraic Effects
Ugo Dal Lago, Francesco Gavazzo
We introduce a new diagrammatic notation for representing the result of (algebraic) effectful computations. Our notation explicitly separates the effects produced during a computat…