conf.researchr.org / Simon Castellan

Not registered as user yet

Name: Simon Castellan

Contributions

LAFI 2019Author of Probabilistic Programming Inference via Intensional Semantics within the LAFI (né PPS)-track
FSCD 2017Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track