conf.researchr.org / Simon Castellan

Not registered as user yet

Name:Simon Castellan
Affiliation:INRIA

Contributions

OCaml 2021 Committee Member in Program Committee within the OCaml 2021-track
LAFI 2019 Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track
GaLoP 2019 Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
FSCD 2017 Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track