Timothy Jones - ECOOP 2016

Sun 17 - Fri 22 July 2016 Rome, Italy

Registered user since Tue 6 Jan 2015

Name: Timothy Jones

Bio: Programming languages PhD student at VUW working on Grace.

Country: New Zealand

Affiliation: Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~tim

Research interests: Programming Languages

Contributions

STOP	Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track Author of Automating Gradual Typing within the STOP-track
FTfJP	Author of A Mechanical Soundness Proof for Subtyping Over Recursive Types within the FTfJP-track
GRACE	Author of Traitorous Traits within the GRACE-track
ECOOP 2016	Author of Object Inheritance without Classes within the Research Track-track Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of Object Inheritance Without Classes within the Artifacts-track
Show activities from other conferences