Timothy Jones

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 9

Top Topics

Functional Programming

Top Venues

Dagstuhl Artifacts Ser.

Publications

Michael Homer, Timothy Jones, James Noble
First-class dynamic types. DLS (2019)
Timothy Jones, Michael Homer
The Practice of a Compositional Functional Programming Language. APLAS (2018)
James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones
Grace's Inheritance. J. Object Technol. 16 (2) (2017)
Timothy Jones, Michael Homer, James Noble, Kim B. Bruce
Object Inheritance Without Classes. ECOOP (2016)
Timothy Jones, David J. Pearce
A Mechanical Soundness Proof for Subtyping Over Recursive Types. FTfJP@ECOOP (2016)
Timothy Jones, Michael Homer
Object Inheritance Without Classes (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Timothy Jones, Michael Homer, James Noble
Brand Objects for Nominal Typing (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Timothy Jones, Michael Homer, James Noble
Brand Objects for Nominal Typing. ECOOP (2015)
Michael Homer, Timothy Jones, James Noble
From APIs to languages: generalising method names. DLS (2015)
James Noble, Timothy Jones
[Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language. FARM@ICFP (2014)
Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
Graceful Dialects. ECOOP (2014)
Timothy Jones, James Noble
Tinygrace: A Simple, Safe, and Structurally Typed Language. FTfJP@ECOOP (2014)
Richard Roberts, Timothy Jones, John Lewis
Synthesis of incidental detail as composable components in a functional language. IVCNZ (2013)