Michael D. Adams
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2020–2025
all 4 in the filters
on a stage with
- Cyrus Omaronce
- Edward Petersonce
- Eric Griffisonce
all 9 in the filters
who talks about the same things
- Michel Steuwer17 talks
- Steve Zdancewic19 talks
- Eric Griffis2 talks
- Cyrus Omar21 talks
- Eric Zhao3 talks
- Michael Hicks18 talks
| title | conference | date |
|---|---|---|
| Scheme and New Frontiers for Language Design | Scheme 2025 | 2025-10-16 |
Argues that adding a single seven-form interpreter extension — a debug statement that suspends execution and lets you inspect code, environment, store and… | ||
| Pushing the Information-Theoretic Limits of Random Access Lists | ICFP 2025 | 2025-10-12 |
Provides a concrete improvement to Myers lists: a simple variant reduces pointer traversals from 3⌈lg n⌉−5 to 2⌈lg(n+1)⌉−3 and a more complex design uses skip… | ||
| Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus | POPL 2025 | 2025-01-19 |
Paper claims a version-control model that removes patch synthesis and three-way merge by making edits commute: edits become no diff or merge commutative… | ||
| An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) | HIW 2023 | 2023-09-04 |
Tool generates concrete worklist/workqueue code from high-level fixed‑point rules, producing optimized implementations (not just an interpreter) for examples… | ||
| Parsing with Zippers (Functional Pearl) | ICFP 2020 | 2020-08-23 |
Generalizes Huet’s zipper to handle CFG features like alternation, sharing, and cycles, suspends traversal state so derivatives resume instead of retraversing… | ||
| nothing matches | ||