Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Simon Castellan
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
ICFP 2021 profile
POPL 2019 profile
POPL 2023 profile
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
Share
x
Sun 29 Jan 21:11