Opin vísindi

Browsing by Journal title "25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)"

Browsing 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 ...