Tree @master (Download .tar.gz)
Monads
(Up) | Wikipedia: Monad (functional programming) | See also: Category Theory, Functional Programming, Haskell
Works about the mathematical construct, originally from category theory and in heavy use in functional programming, known as the monad.
Web resources
All About Monads - HaskellWiki ★
What monads can be expressed as Free over some functor? ★
(in Functional Programming) Functors, Applicatives, And Monads In Pictures - adit.io ★★★
(in Haskell) Using \'Either\' in Haskell ★
(in Haskell) Defining a new monad in haskell raises no instance for Applicative ★
(in Operational Semantics) apfelmus - The Operational Monad Tutorial ★
Papers
(in Coq) Interaction Trees (online @ archive.org) ★★ 💭