Opin vísindi

Browsing by Journal title "22nd International Symposium on Principles and Practice of Declarative Programming (PPDP '20)"

Browsing by Journal title "22nd International Symposium on Principles and Practice of Declarative Programming (PPDP '20)"

Sort by: Order: Results:

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