Publications

First-class Dynamic Types

Dynamic Languages Symposium (DLS) 2019

Michael Homer, Timothy Jones, and James Noble
October 20, 2019
Author copy
The Practice of a Compositional Functional Programming Language

Asian Symposium on Programming Languages and Systems (APLAS) 2018

Timothy Jones and Michael Homer
December 3, 2018
Author copy
Classless Object Semantics

Victoria University of Wellington (PhD Thesis)

Timothy Jones
October 10, 2017
Author copy
Object Inheritance Without Classes

European Conference on Object-Oriented Programming (ECOOP) 2016

Timothy Jones, Michael Homer, James Noble, and Kim Bruce
July 21, 2016
Author copy
A Mechanical Soundness Proof for Subtyping Over Recursive Types

Formal Techniques for Java-like Programs (FTfJP) 2016

Timothy Jones and David Pearce
July 19, 2016
Author copy
Beyond Types: Extending the Gradual Guarantee

Script To Program Evolution (STOP) 2016 (no proceedings)

James Noble, Michael Homer, Timothy Jones, Sophia Drossopolou, Andrew Black, and Kim Bruce
July 17, 2016
Author copy
Automating Gradual Typing

Script To Program Evolution (STOP) 2016 (no proceedings)

Timothy Jones
July 17, 2016
Author copy
Gradual typing is morally incorrect; we're all monsters now

New Object-Oriented Languages (NOOL) 2015 (no proceedings)

Timothy Jones and Michael Homer
October 27, 2015
Author copy
From APIs to Languages: Generalising Method Names

Dynamic Languages Symposium (DLS) 2015

Michael Homer, Timothy Jones, and James Noble
October 27, 2015
Author copy
Brand Objects for Nominal Typing

European Conference on Object-Oriented Programming (ECOOP) 2015

Timothy Jones, Michael Homer, and James Noble
July 5, 2015
Author copy
littleBits Synth Kit as a physically-embodied, domain specific functional programming language

Functional Art, Music, Modeling & Design (FARM) 2014

Timothy Jones and James Noble
September 6, 2014
Author copy
Graceful Dialects

European Conference on Object-Oriented Programming (ECOOP) 2014

Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, and Andrew P. Black
July 28, 2014
Author copy
Synthesis of Incidental Detail as Composable Components in a Functional Language

Image and Vision Computing New Zealand (IVCNZ) 2013

Richard Roberts, Timothy Jones, and John Lewis
November 27, 2013
Author copy