research
∙
08/31/2023
On Model-Checking Higher-Order Effectful Programs (Long Version)
Model-checking is one of the most powerful techniques for verifying syst...
share
research
∙
11/12/2022
Open Higher-Order Logic (Long Version)
We introduce a variation on Barthe et al.'s higher-order logic in which ...
research
∙
03/29/2022
On Reinforcement Learning, Effect Handlers, and the State Monad
We study the algebraic effects and handlers as a way to support decision...
research
∙
04/15/2021
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
We address the problem of analysing the complexity of concurrent program...
research
∙
10/03/2019