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

ECOOP 2016 Activities

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