Opin vísindi

Fletta eftir höfundi "McDermott, Dylan"

Fletta eftir höfundi "McDermott, Dylan"

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

  • McDermott, Dylan; Piróg, Maciej; Uustalu, Tarmo (ACM, 2020-09-08)
    We discuss the relationship between monads and their known generalisation, graded monads, which are especially useful for modelling computational effects equipped with a form of sequential composition. Specifically, we ask if a graded monad can be ...