Finnbar Keating
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 2 in the filters
on a stage with
- Michael B. Galeonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Pr... | Haskell 2023 | 2023-09-08 |
Transforms ArrowLoop programs into variants with known execution order (introducing LoopD and LoopM) by applying Arrow and ArrowLoop laws (sliding, split) plus… | ||
| Graded Monads and Type-Level Programming for Dependence Analysis | Haskell Symposium 2021 | 2021-08-26 |
Uses a graded monad that tags computations with type-level (reads,writes) sets and names memory cells by symbols, builds a type-level dependency graph by… | ||
| nothing matches | ||