Conference item
Monads for behaviour
- Abstract:
-
The monads used to model effectful computations traditionally concentrate on the \"destination\" - the final results of the program. However, sometimes we are also interested in the \"journey\" - the intermediate course of a computation - especially when reasoning about non-terminating interactive systems. In this article we claim that a necessary property of a monad for it to be able to describe the behaviour of a program is complete iterativity. We show how an ordinary monad can be modified...
Expand abstract
Actions
Authors
Bibliographic Details
- Volume:
- 298
- Host title:
- Electronic Notes in Theoretical Computer Science
- Publication date:
- 2013-01-01
- DOI:
- ISSN:
-
1571-0661
Item Description
- UUID:
-
uuid:bcbfa3a5-b299-40f5-991e-5e454dad508d
- Local pid:
- cs:6818
- Deposit date:
- 2015-03-12
Terms of use
- Copyright date:
- 2013
If you are the owner of this record, you can report an update to it here: Report update to this record