1 citations · 1 across the 3 of their papers we have counts for
4 papers
On Model-Checking Higher-Order Effectful Programs (Long Version)
Ugo Dal Lago, Alexis Ghyselen
Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be ap…
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…
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…
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…