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 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
x
Thu 30 Mar 00:57