• 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

2019

ESOP

  • Author of Probabilistic Programming Inference via Intensional Semantics within the ESOP 2019-track

FOSSACS

  • Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track

GaLoP

  • Author of Probabilistic Programming Inference via Intensional Semantics within the GaLoP-track

POPL

  • Author of Two sides of the same coin: Session Types and Game Semantics within the Research Papers-track
Share
xWed 21 May 04:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up