• Home
• authors
• James Noble

• Fast & Easy ASTs for Flexible Embedded Interpreters
• Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
• JDala - A Simple Capability System for Java
• Dafny vs. Dala: Experience with Mechanising Language Design
• Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom
• Naïve Transient Cast Insertion Isn't (That) Bad
• Which of My Transient Type Checks Are Not (Almost) Free?
• First-Class Dynamic Types
• Transient Typechecks are (Almost) Free
• Lessons in Combining Block-Based and Textual Programming
• Toward Virtual Machine Adaption Rather than Reimplementation
• Grace's Inheritance
• The Left Hand of Equals
• Object Inheritance Without Classes
• Beyond Types: Extending the Gradual Guarantee
• From APIs to Languages: Generalising Method Names
• Brand Objects for Nominal Typing
• Combining Tiled and Textual Views of Code
• Graceful Dialects
• A Tile-based Editor for a Textual Programming Language
• Object Creation in Grace
• Modules as Gradually-Typed Objects
• Designing Grace: Can an Introductory Programming Language Support the Teaching of Software Engineering?
• Seeking Grace: A New Object-Oriented Language for Novices
• Patterns as Objects in Grace
• Grace: the Absence of (Inessential) Difficulty
• Graceful Patterns for Patterns in Grace

Michael Homer — 2026 b0231a86