Zachary Eisbach
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Amal Ahmedonce
- Andrew Wagneronce
- Ari Prakashonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) | Scheme 2025 | 2025-10-16 |
miniDusa implements Dusa-style finite-choice primitive logic programming as a hosted DSL using syntax-spec in Racket, compiling surface syntax to a core with… | ||
| Realistic Realizability: Specifying ABIs You Can Count On | OOPSLA 2024 | 2024-10-20 |
Proposes using realistic realizability models to specify ABIs by connecting high-level types to concrete target code and builds a graph-based separation logic… | ||
| nothing matches | ||