Timothy Jones

According to our database, Timothy Jones authored at least 13 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

First-class dynamic types.

Michael Homer, Timothy Jones, James Noble

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

The Practice of a Compositional Functional Programming Language.

Timothy Jones, Michael Homer

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Grace's Inheritance.

James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones

J. Object Technol., 2017

2016

Object Inheritance Without Classes (Artifact).

Timothy Jones, Michael Homer

Dagstuhl Artifacts Ser., 2016

A Mechanical Soundness Proof for Subtyping Over Recursive Types.

Timothy Jones, David J. Pearce

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Object Inheritance Without Classes.

Timothy Jones, Michael Homer, James Noble, Kim B. Bruce

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Brand Objects for Nominal Typing (Artifact).

Timothy Jones, Michael Homer, James Noble

Dagstuhl Artifacts Ser., 2015

Brand Objects for Nominal Typing.

Timothy Jones, Michael Homer, James Noble

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

From APIs to languages: generalising method names.

Michael Homer, Timothy Jones, James Noble

Proceedings of the 11th Symposium on Dynamic Languages, 2015

2014

[Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language.

James Noble, Timothy Jones

Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014

Tinygrace: A Simple, Safe, and Structurally Typed Language.

Timothy Jones, James Noble

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Graceful Dialects.

Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Synthesis of incidental detail as composable components in a functional language.

Richard Roberts, Timothy Jones, John Lewis

Proceedings of the 28th International Conference on Image and Vision Computing New Zealand, 2013