Synthesis of incidental detail as composable components in a functional language. - Richard Roberts 004; Timothy Jones 002; John Lewis (IVCNZ, 2013)

Graceful Dialects. - Michael Homer; Timothy Jones 002; James Noble 001; Kim B. Bruce; Andrew P. Black (ECOOP, 2014)

Tinygrace: A Simple, Safe, and Structurally Typed Language. - Timothy Jones 002; James Noble 001 (FTfJP@ECOOP, 2014)

[Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language. - James Noble 001; Timothy Jones 002 (FARM@ICFP, 2014)

From APIs to languages: generalising method names. - Michael Homer; Timothy Jones 002; James Noble 001 (DLS, 2015)

Brand Objects for Nominal Typing. - Timothy Jones 002; Michael Homer; James Noble 001 (ECOOP, 2015)

Brand Objects for Nominal Typing (Artifact). - Timothy Jones 002; Michael Homer; James Noble 001 (Dagstuhl Artifacts Ser., 2015)

Object Inheritance Without Classes. - Timothy Jones 002; Michael Homer; James Noble 001; Kim B. Bruce (ECOOP, 2016)

A Mechanical Soundness Proof for Subtyping Over Recursive Types. - Timothy Jones 002; David J. Pearce 001 (FTfJP@ECOOP, 2016)

Object Inheritance Without Classes (Artifact). - Timothy Jones 002; Michael Homer (Dagstuhl Artifacts Ser., 2016)

Grace's Inheritance. - James Noble 001; Andrew P. Black; Kim B. Bruce; Michael Homer; Timothy Jones 002 (J. Object Technol., 2017)

The Practice of a Compositional Functional Programming Language. - Timothy Jones 002; Michael Homer (APLAS, 2018)

First-class dynamic types. - Michael Homer; Timothy Jones 002; James Noble 001 (DLS, 2019)