Toggle navigation
Sign in
Sign up
conf.researchr.org
/
James Chapman
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2018 profile
POPL 2017 profile
POPL 2020 profile
Not registered as user
Name:
James Chapman
Contributions
2018
ICFP
Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
2017
CPP
Author of Type-and-scope safe programs and their proofs within the CPP-track
2016
TyDe
Co-chair in Organizing Committee within the TyDe-track
Co-chair in Program Committee within the TyDe-track
Share
x
Mon 22 Sep 22:01