Zachary Palmer
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
- Ke Wuonce
- Nathaniel Wesley Filardoonce
- Scott F. Smithonce
all 5 in the filters
who talks about the same things
- Scott F. Smith3 talks
- Deepak Garg18 talks
- Robert Zhang4 talks
- Olin Shivers9 talks
- Daan Leijen16 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Intensional Functions | OOPSLA 2024 | 2024-10-20 |
Adds a language feature that makes runtime closures visible: functions carry a definition-site ID and an environment and offer three destructors — application… | ||
| Higher-Order Demand-Driven Symbolic Evaluation | ICFP 2020 | 2020-08-23 |
Presents DDSE, a demand-driven symbolic evaluator for higher-order functional code that runs backward from a program point; defines a novel DDI interpreter… | ||
| nothing matches | ||