Reasoning About Effects: Seeing the Wood Through the Trees (2009)
Pure functional languages such as Haskell support programming with impure effects by exploiting mathematical notions such as monads, applicative functors, and arrows. However, in contrast to the...
Reasoning About Effects: Seeing the Wood Through the Trees (Extended Version) (2008)
Pure functional languages such as Haskell support programming with impure effects by exploiting mathematical notions such as monads, applicative functors, and arrows. However, in contrast to the...