Opin vísindi

Browsing Háskólinn í Reykjavík by Journal title "25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)"

Browsing Háskólinn í Reykjavík by Journal title "25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)"

Sort by: Order: Results:

  • Capobianco, Silvio; Uustalu, Tarmo (ACM, 2023-10-22)
    Cellular automata are an archetypical comonadic notion of computation in that computation happens in the coKleisli category of a comonad. In this paper, we show that they can also be viewed as graded comonadic—a perspective that turns out to be both ...