1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
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…
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…