1 citations · 1 across the 2 of their papers we have counts for
3 papers
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.CC2021
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
We address the problem of analysing the complexity of concurrent programs written in Pi-calculus. We are interested in parallel complexity, or span, understood as the execution tim…
cs.LO2019
Types for Parallel Complexity in the Pi-calculus
Patrick Baillot, Alexis Ghyselen
Type systems as a way to control or analyze programs have been largely studied in the context of functional programming languages. Some of those work allow to extract from a typing…