Simon Castellan -

Registered user since Wed 23 Jan 2019

Name:Simon Castellan

Affiliation:Imperial College London, UK

Contributions

ESOP 2019	Author of Probabilistic Programming Inference via Intensional Semantics within the ESOP 2019-track
FOSSACS 2019	Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track
GaLoP 2019	Author of Probabilistic Programming Inference via Intensional Semantics within the GaLoP-track
POPL 2019	Author of Two sides of the same coin: Session Types and Game Semantics within the Research Papers-track