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

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