Opin vísindi

Fletta eftir efnisorði "Tölvunarfræði"

Fletta eftir efnisorði "Tölvunarfræði"

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

  • Icon
    Algebraic and coalgebraic perspectives on interaction laws 
    Uustalu, Tarmo; Voorneveld, Niels (Springer, 2020)
    Monad algebras, turning computations over return values into values, are used to handle algebraic effects invoked by programs, whereas comonad coalgebras, turning initial states into environments (“cocomputations”) over states, describe production of ...
  • Icon
    Flexibly graded monads and graded algebras 
    McDermott, Dylan; Uustalu, Tarmo (Springer, 2022-09-22)
    When modelling side-effects using a monad, we need to equip the monad with effectful operations. This can be done by noting that each algebra of the monad carries interpretations of the desired operations. We consider the analogous situation for graded ...