Michael Ballantyne
where else to find them
bluesky:michaelballantyne.bsky.social
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Matthias Felleisen10 talks
- Alexis King4 talks
- Andrea Mocci4 talks
- Michael Greenberg14 talks
- Sarah E. Chasins11 talks
- Nada Amin26 talks
| title | conference | date |
|---|---|---|
| Multi-stage Relational Programming | PLDI 2025 | 2025-06-16 |
Implements a multi-stage extension of miniKanren that compiles known parts of relational interpreters and defers unknown holes to a runtime relational… | ||
| Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility | miniKanren 2024 | 2024-09-06 |
A hosted miniKanren embeds a macro-spec grammar in Racket using the syntax-spec macro to produce a small core language that an optimizing compiler consumes… | ||
| Macros for Domain-Specific Languages | OOPSLA 2020 | 2020-11-15 |
Presents an implementation of a two-layer expander API for Racket that lets internal DSLs get their own expander and compiler while reusing host services like… | ||
| Adding Interactive Visual Syntax to Textual Code | OOPSLA 2020 | 2020-11-15 |
Extends textual languages with reusable interactive-syntax extensions that embed runnable visual editors into source code; examples include a tree editor that… | ||
| nothing matches | ||