• Home
• tags
• grace

• Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities
• Naïve Transient Cast Insertion Isn't (That) Bad
• Which of My Transient Type Checks Are Not (Almost) Free?
• First-Class Dynamic Types
• Co-located Collaborative Block-Based Programming
• Transient Typechecks are (Almost) Free
• Towards collaborative block-based programming on digital tabletops
• Lessons in Combining Block-Based and Textual Programming
• Toward Virtual Machine Adaption Rather than Reimplementation
• Grace's Inheritance
• 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