Search Results for author:
Found 3 papers, 1 papers with code
On Reinforcement Learning, Effect Handlers, and the State Monad
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 without implementing the underlying selection mechanism, and give a feedback by way of rewards.
Modal Reasoning = Metric Reasoning, via Lawvere
In this work, we show that coinductive equivalences can be extended to a modal setting, and we do so by generalising Abramsky's applicative bisimilarity to coeffectful behaviours.
Logic in Computer Science D.3.1
A Diagrammatic Calculus for Algebraic Effects
We introduce a new diagrammatic notation for representing the result of (algebraic) effectful computations.
Programming Languages Logic in Computer Science
