Dylan McDermott
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
- Tarmo Uustalu2×
- Nicolas Wuonce
- Shin-ya Katsumataonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Flexibly graded monads and graded algebras | HOPE 2022 | 2022-09-11 |
Defines flexibly graded monad as a monad on graded sets (results may carry grades), proves no ordinary graded monad can have algebras exactly equal to graded… | ||
| Flexible Presentations of Graded Monads | ICFP 2022 | 2022-09-11 |
Defines a flexibly graded presentation that permits operations whose arguments carry different grades and proves two concrete claims: every such presentation… | ||
| nothing matches | ||