Entities Mentioned

• Haskell
• Josef Svenningsson

1. LogicT - backtracking monad transformer with fair operations and pruning Simple fair and terminating backtracking Monad Transformer A serially-numbering monad Monte Carlo Monad: arithmetics of "probabilistic numbers" Monadic Regions in Scheme Restricted Formalizing System F extended with a monad, and mechanically proving its type soundness State Monad as a term algebra UNIX pipes as IO monads. Monadic i/o and UNIX shell programming. Scheme's multiple values as an effect. Monadic re (Read Full Article)
   
   

   Related Articles

   • Haskell Weekly News: November 11, 2007
   • also mentions Josef Svenningsson
   • Oleg Kiselyov's code,algorithms,etc Page
   • also published in okmij.org
   • LogicT.pdf (Objet application/pdf)
   • also published in okmij.org
   • Haskell/MonadPlus - Wikibooks, collection of open-content textbooks
   • also written by lalit_pant

   • Monads for the Working Haskell Programmer
   • also written by lalit_pant
   • Supercompilation for Haskell
   • also mentions Haskell
   • Monad Transformers Step by Step
   • also written by lalit_pant
   • Haskell/Category theory - Wikibooks, collection of open-content textbooks
   • also written by lalit_pant

Login to comment.