conf.researchr.org / Simon Castellan

Not registered as user yet

Name:Simon Castellan
Country:France
Affiliation:University of Rennes; Inria; CNRS; IRISA

Contributions

POPL 2023 Author of The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding within the POPL-track
OCaml 2021 Committee Member in Program Committee within the OCaml 2021-track
GaLoP 2019 Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
LAFI 2019 Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track
FSCD 2017 Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track