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