X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=0a660be07032010e6dfa02028e2076eead952aac;hp=6c0435eca9b90fb11ccffd9962bef3f013b55601;hb=d43f92cd1dbebb7588b856704bbd9c92b3031565;hpb=270b8feb6727b754965f58c468e07e9d8d5936ad diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 6c0435ec..0a660be0 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -128,8 +128,9 @@ get more out of. (Rinse and repeat.) | [Monads as containers](http://www.haskell.org/haskellwiki/Monads_as_containers) | [What a monad is not](http://www.haskell.org/haskellwiki/What_a_Monad_is_not) * [Haskell wikibook: Understanding monads](http://en.wikibooks.org/wiki/Haskell/Understanding_monads) -* [Haskell WikiBook: Monad Transformers](http://en.wikibooks.org/wiki/Haskell/Monad_transformers) +* [Haskell wikibook: Monad Transformers](http://en.wikibooks.org/wiki/Haskell/Monad_transformers) +* [A State Monad Tutorial](http://strabismicgobbledygook.wordpress.com/2010/03/06/a-state-monad-tutorial/) * [You Could Have Invented Monads! (And Maybe You Already Have.)](http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html) * Yet Another Monad Tutorial: [part 1](http://mvanier.livejournal.com/3917.html) [part 2](http://mvanier.livejournal.com/4305.html) * [Monads for the Working Haskell Programmer -- a short tutorial](http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm) @@ -215,7 +216,8 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr * [Continuations In Scheme](http://tech.phillipwright.com/2010/05/23/continuations-in-scheme/) * [Understanding Scheme Continuations](http://sanjaypande.blogspot.com/2004/06/understanding-scheme-continuations.html). This is tagged "Part I" but I think there's no further parts. * [Continuations for Curmudgeons](http://www.intertwingly.net/blog/2005/04/13/Continuations-for-Curmudgeons) [Commentary](http://lambda-the-ultimate.org/node/643) -* [Haskell wiki on Continuations](http://www.haskell.org/haskellwiki/Continuation)

+* [Haskell wiki on Continuations](http://www.haskell.org/haskellwiki/Continuation) +* [Haskell wikibook on Continuation Passing Style](http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style)

* [[!wikipedia Delimited continuation]] * [Composable Continuations Tutorial](http://community.schemewiki.org/?composable-continuations-tutorial) at SchemeWiki * [Post by Ken](http://lambda-the-ultimate.org/node/1197#comment-12927) on Lambda the Ultimate explaining difference between undelimited and delimited continuations @@ -236,7 +238,7 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr ## 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

+* [Haskell wikibook on the Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki