Opin vísindi

Fletta eftir titli tímarits "25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)"

Fletta eftir titli tímarits "25th International Symposium on Principles and Practice of Declarative Programming (PPDP '23)"

Röðun: Raða: Niðurstöður:

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