Monads for behaviour
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-termi...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2013
|