Dan Pittman
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Andrea Lattuada11 talks
- Stephan Boyer4 talks
- Paul Snively6 talks
- Ross Tate7 talks
- Pascal Hertleif5 talks
- Will Crichton9 talks
| title | conference | date |
|---|---|---|
| Type Theory for the Working Rustacean | Rust Belt Rust 2019 | 2019-10-18 |
Shows exactly how Rust’s type system is used to mimic dependent types: defines a type-level natural via a gnat trait, implements a size-proof Vec that carries… | ||
| Proof Theory Impressionism: Blurring the Curry-Howard Line | Strange Loop 2018 | 2018-09-26 |
Claim: bridge the gap between program and proof by extracting denotational semantics from Rust into a dependently typed checker. Uses Rust type-level naturals… | ||
| nothing matches | ||