Alexis Ghyselen

14 papers A* 1A 1B 3Journal 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
On Model-Checking Higher-Order Effectful Programs.
Proc. ACM Program. Lang.
Ugo Dal Lago, Alexis Ghyselen
2023 J jnl
On Model-Checking Higher-Order Effectful Programs (Long Version).
CoRR
Ugo Dal Lago, Alexis Ghyselen
2023 B conf
Open Higher-Order Logic.
CSL
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
On Reinforcement Learning, Effect Handlers, and the State Monad.
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
Open Higher-Order Logic (Long Version).
CoRR
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
2022 J jnl
Types for Complexity of Parallel Computation in Pi-calculus.
ACM Trans. Program. Lang. Syst.
Patrick Baillot, Alexis Ghyselen
2021 — —
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul).
Alexis Ghyselen
2021 B conf
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.
CONCUR
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
2021 J jnl
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes.
CoRR
Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
2021 A conf
Types for Complexity of Parallel Computation in Pi-Calculus.
ESOP
Patrick Baillot, Alexis Ghyselen
2020 J jnl
Combining linear logic and size types for implicit complexity.
Theor. Comput. Sci.
Patrick Baillot, Alexis Ghyselen
2019 A* conf
Type-Based Complexity Analysis of Probabilistic Functional Programs.
LICS
Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen
2019 J jnl
Types for Parallel Complexity in the Pi-calculus.
CoRR
Patrick Baillot, Alexis Ghyselen
2018 B conf
Combining Linear Logic and Size Types for Implicit Complexity.
CSL
Patrick Baillot, Alexis Ghyselen