Timothy Jones

Registered user since Tue 6 Jan 2015

Name: Timothy Jones

Country: United States

Affiliation: Montoux

Personal website: https://zmthy.net

Research interests: Programming Languages

Contributions

DLS 2019 Author of First-class Dynamic Types within the DLS 2019-track
GRACE 2018 Presenter of Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing within the GRACE 2018-track
FTfJP 2018 Committee Member in Program Committee within the FTfJP-track
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
STOP 2016 Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
Author of Automating Gradual Typing within the STOP-track
FTfJP 2016 Author of A Mechanical Soundness Proof for Subtyping Over Recursive Types within the FTfJP-track
GRACE 2016 Author of Traitorous Traits within the GRACE-track
NOOL 2015 Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-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
SPLASH 2016 Programme Committee in Program Committee within the OOPSLA Artifacts-track
DLS 2015 Author of From APIs to Languages: Generalising Method Names within the DLS-track
SPLASH 2015 Panelist of Panel: Graduate School: Why and How? within the PLMW-track
Committee Member in Program Committee within the OOPSLA Artifacts-track
ECOOP 2015 Doctoral 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 2013 Committee Member in Committee within the Student Volunteers-track