• Sign in
  • Sign up
conf.researchr.org / Simon Castellan
  • 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
xSun 29 Jan 21:11
using conf.researchr.org (v1.58.0)
Support page
Sign Up