Timothy Jones

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