Opin vísindi

Fletta eftir titli tímarits "22nd International Symposium on Principles and Practice of Declarative Programming (PPDP '20)"

Fletta eftir titli tímarits "22nd International Symposium on Principles and Practice of Declarative Programming (PPDP '20)"

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