James Chapman -

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