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 2016	Beyond Types: Extending the Gradual Guarantee Automating Gradual Typing
FTfJP 2016	A Mechanical Soundness Proof for Subtyping Over Recursive Types
GRACE 2016	Traitorous Traits
ECOOP 2016	Object Inheritance without Classes Committee Member in Program Committee within the Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the Artifacts-track Object Inheritance Without Classes
Show activities from other conferences