Michael Homer
where else to find them
no profile links on file
what they talk about
where they keep going back
- Onward!3 editions2021–2025
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fast & Easy ASTs for Flexible Embedded Interpreters | MPLR 2025 | 2025-10-14 |
Claim that a carefully engineered textual AST format lets a language ship its entire parser and libraries as textually identical ASTs that are valid across… | ||
| Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities | Onward! 2025 | 2025-10-12 |
Dala implements three safe object flavours—ISO (isolated), immutable, local—and the paper enumerates six enforcement axes that yield 2,880 combinations and… | ||
| Reclaiming the Unexplored in Hybrid Visual Programming | Onward! 2024 | 2024-10-23 |
Argues that visual languages currently just mimic textual compilers and demonstrates a prototype hybrid system that stores one semantic model but exposes it as… | ||
| Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom | Onward! 2021 | 2021-10-20 |
Dala is a dynamic capability model that guarantees data-race freedom for safe objects while allowing unsafe objects to coexist. It defines three… | ||
| First-class Dynamic Types | DLS 2019 | 2019-10-20 |
Claim: patterns in Grace become first-class type objects that are looked up at runtime, matched via a uniform match API, and can carry transformed values back… | ||
| nothing matches | ||