Alexander Gerasimov
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
- Markus Hauck5 talks
- Michael Sperber15 talks
- Luka Jacobowitz6 talks
- Pawel Szulc28 talks
- Daniel Chambers4 talks
- Alejandro Serrano Mena14 talks
| title | conference | date |
|---|---|---|
| "No Foul Play" Describing State with Dependently Typed FSMs | RS Conf 2019 | 2019-08-09 |
Claim: types encode the full snooker state and prevent illegal plays at compile time. Implementation uses Idris and encodes counts (e.g. 15 reds) as type-level… | ||
| All-You-Can-Eat-Types: Monad Buffet | The Rolling Scopes Conference 2018 | 2018-02-10 |
Shows how to encode Haskell/PureScript ideas in plain JavaScript: builds a lazy IO constructor that wraps console.log prompt and Math.random, implements map… | ||
| nothing matches | ||