Conference item icon

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


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2013.09.019

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Author
Volume:
298
Publication date:
2013-01-01
DOI:
ISSN:
1571-0661
URN:
uuid:bcbfa3a5-b299-40f5-991e-5e454dad508d
Local pid:
cs:6818

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP