Browsing by Subject "Tagged monads"
Now showing items 1-1 of 1
-
(Elsevier, 2016)Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and ...