David Christiansen
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 3 in the filters
on a stage with
never shared a talk
who talks about the same things
- Paul Snively6 talks
- Philip Wadler14 talks
- Nicolas Rinaudo13 talks
- Dan Pittman2 talks
- Isaac Shapira4 talks
- Simon Peyton Jones26 talks
| title | conference | date |
|---|---|---|
| A Little Taste of Dependent Types | Strange Loop 2018 | 2018-09-26 |
Builds a tiny language called Pie, shows concrete definitions of plus and double using eliminators because Pie forbids raw recursion, and constructs a… | ||
| A Little Taste of Types | Code Mesh 2017 | 2017-11-08 |
A tiny dependently typed language called Pie (the language) demonstrates concrete features: NAT as linked cons-style numerals, a recursion is total discipline… | ||
| Grain + Hops + IoT = Beer | NDC Oslo 2017 | 2017-06-14 |
Garage all-grain brewery uses a Grainfather for mashing and a hacked fridge with two relays to control compressor and heater, feeding temperature data into… | ||
| nothing matches | ||