• Sign in
  • Sign up
conf.researchr.org / James Chapman
  • ICFP 2016 profile
  • ICFP 2018 profile
  • POPL 2017 profile
  • POPL 2020 profile

Not registered as user yet

Name:James Chapman

Contributions

ICFP 2018 Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
CPP 2017 Author of Type-and-scope safe programs and their proofs within the CPP-track
TyDe 2016 Co-chair in Organizing Committee within the TyDe-track
Co-chair in Program Committee within the TyDe-track

Share
xThu 30 Mar 00:57
using conf.researchr.org (v1.60.0)
Support page
Sign Up