Monad presentation scala as a category
The Uses and Abuses of the History of Topos Theory
Why I became Interested in Mind Mapping
MATHEMATICS IN 20TH CENTURY. Start: Axiomatic method, strongly influenced by David Hilberts example The logical formulation of pure mathematics suggested.
Monads & Gonads Douglas Crockford. Functional Programming Programming with functions.
Unraveling the mystery of monads
Edwardian Proofs as futuristic Programs for Personal Assistants
Functional Programming for Computing Clouds
Who's afraid of Categorical models?
From Computing Machineries to Cloud Computing The Minimal Levels of Abstraction of Inforgs through History
Comonads in Haskell
The good parts in scalaz