* [[!wikipedia Monad (functional programming) desc="Monads in Functional Programming"]]
* [Daniel Friedman. A Schemer's View of Monads](/schemersviewofmonads.ps): from <https://www.cs.indiana.edu/cgi-pub/c311/doku.php?id=home> but the link above is to a local copy.
* [A Gentle Intro to Haskell: About Monads](http://www.haskell.org/tutorial/monads.html) (link currently broken, check <http://www.haskell.org/haskellwiki/Tutorials>)
-* [All About Monads](http://haskell.org/all_about_monads/html/index.html)
+* [All About Monads](http://haskell.org/all_about_monads/html/index.html) (also broken, here's an [archived version](http://web.archive.org/web/20071013115156/haskell.org/all_about_monads/html/index.html))
* From HaskwellWiki:
[Monad tutorials timeline](http://www.haskell.org/haskellwiki/Monad_tutorials_timeline)
| [Monad laws](http://www.haskell.org/haskellwiki/Monad_Laws)
* [Pointers in OCaml](http://caml.inria.fr/resources/doc/guides/pointers.html)
-## The Curry-Howard Correspondence ##
-* The [[!wikipedia Curry-Howard isomorphism]]
-* [The Curry-Howard correspondence in Haskell](http://www.thenewsh.com/~newsham/formal/curryhoward/)
-* [The Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki<p>
-
-
## Continuations ##
* [[!wikipedia Continuation]]
* [Delimited continuations in natural language semantics](http://okmij.org/ftp/gengo/)
+## The Curry-Howard Correspondence ##
+* The [[!wikipedia Curry-Howard isomorphism]]
+* [The Curry-Howard correspondence in Haskell](http://www.thenewsh.com/~newsham/formal/curryhoward/)
+* [The Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki<p>
+
+
+
## Linear Logic ##
* [[!wikipedia Linear logic]]