• Sign in
  • Sign up
conf.researchr.org / Simon Castellan
  • ETAPS 2019 profile
  • POPL 2019 profile

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

Share
xSat 1 Apr 10:44
using conf.researchr.org (v1.60.0)
Support page
Sign Up