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
Name:
Simon Castellan
Country:
France
Affiliation:
University of Rennes; Inria; CNRS; IRISA
Contributions
2023
POPL
Author of The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding within the POPL-track
2021
OCaml
Committee Member in Program Committee within the OCaml 2021-track
2019
GaLoP
Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
LAFI
Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track
2017
FSCD
Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track
Share
x
Wed 29 Oct 00:01