Timothy Jones

Registered user since Tue 6 Jan 2015

Name: Timothy Jones

Country: New Zealand

Affiliation: Montoux

Personal website: https://zmthy.net

Research interests: Programming Languages

Contributions

FTfJP 2018Committee Member in Program Committee within the FTfJP-track
ICFP 2017Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
STOPAuthor of Beyond Types: Extending the Gradual Guarantee within the STOP-track
Author of Automating Gradual Typing within the STOP-track
FTfJPAuthor of A Mechanical Soundness Proof for Subtyping Over Recursive Types within the FTfJP-track
GRACEAuthor of Traitorous Traits within the GRACE-track
NOOL 2015Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-track
ECOOP 2016Author 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
SPLASH 2016Programme Committee in Program Committee within the OOPSLA Artifacts-track
DLS 2015Author of From APIs to Languages: Generalising Method Names within the DLS-track
SPLASH 2015Panelist of Panel: Graduate School: Why and How? within the PLMW-track
Committee Member in Program Committee within the OOPSLA Artifacts-track
ECOOP 2015Doctoral Symposium Chair of Welcome within the Doctoral Symposium-track
Author of Brand Objects for Nominal Typing within the Artifacts-track
Author of Brand Objects for Nominal Typing within the Research Track-track
Author of Formation of next year's committee within the Doctoral Symposium-track
Chair in Program Committee within the Doctoral Symposium-track
SPLASH 2013Committee Member in Committee within the Student Volunteers-track