Opin vísindi

Browsing by Author "McDermott, Dylan"

Browsing by Author "McDermott, Dylan"

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