Toby Bailey
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
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Chesskell: A Two-Player Game at the Type Level | Haskell Symposium 2021 | 2021-08-26 |
A full type-level Haskell model of FIDE 2018 chess is implemented as a composition of first-class families and a continuation-passing-style EDSL where a… | ||
| Full Workshop (2 days) | Haskell Symposium 2021 | 2021-08-26 |
A full type-level chess implementation demonstrates what Haskell’s types can enforce, and how fragile GHC’s performance can be: a naive check for “king in… | ||
| nothing matches | ||