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...
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Journal article |
| প্রকাশিত: |
Association Internationale pour les Technologies Objets
2017
|