Tarmo Uustalu
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
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Additive Cellular Automata Graded-Monadically | PPDP 2023 | 2023-10-22 |
Shows that cellular automata are graded comonadic by grading with finite neighborhoods (preordered monoid of subsets) and models uniform continuity via locally… | ||
| 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 | ||