Daniel Selsam
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Leonardo de Mouraonce
- Simon Hudononce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Sealing Pointer-Based Optimizations Behind Pure Functions | ICFP 2020 | 2020-08-23 |
Shows how dependent types seal pointer tricks behind pure interfaces to turn exponential tree traversals into linear-time algorithms, implemented for Lean v4… | ||
| nothing matches | ||