Home
authors
Timothy Jones
First-Class Dynamic Types
The Practice of a Compositional Functional Programming Language
Grace's Inheritance
Object Inheritance Without Classes
Beyond Types: Extending the Gradual Guarantee
Gradual typing is morally incorrect; we're all monsters now
From APIs to Languages: Generalising Method Names
Brand Objects for Nominal Typing
Graceful Dialects
Michael Homer — 2026
b0231a86