Coalgebraic aspects of bidirectional computation
We have previously (Bx, 2014; MPC, 2015) shown that several statebased bx formalisms can be captured using monadic functional programming, using the state monad together with possibly other monadic effects, giving rise to structures we have called monadic bx (mbx). In this paper, we develop a coalge...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Association Internationale pour les Technologies Objets
2017
|