Home
tags
gradual typing
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
Transient Typechecks are (Almost) Free
Beyond Types: Extending the Gradual Guarantee
Gradual typing is morally incorrect; we're all monsters now
Modules as Gradually-Typed Objects
Michael Homer — 2026
b0231a86