From 015b352b7886d9558be102861850f4401c65b50a Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 22:48:46 -0400 Subject: [PATCH] offsite reading fix formatting Signed-off-by: Jim Pryor --- offsite_reading.mdwn | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index d992c30a..b8264580 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -118,10 +118,10 @@ get more out of. (Rinse and repeat.) * [All About Monads](http://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) - [Monads as computation](http://www.haskell.org/haskellwiki/Monads_as_computation) - [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) + | [Monad laws](http://www.haskell.org/haskellwiki/Monad_Laws) + | [Monads as computation](http://www.haskell.org/haskellwiki/Monads_as_computation) + | [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) * [You Could Have Invented Monads! (And Maybe You Already Have.)](http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html) @@ -153,22 +153,18 @@ get more out of. (Rinse and repeat.) * [Of monads and spacesuits (archived)](http://www.iterasi.net/openviewer.aspx?sqrlitid=ixx7fcluvek_9lfolsxr_g) * [How not to explain Haskell monads](http://mvanier.livejournal.com/1205.html) * [The State Monad: a tutorial for the confused?](http://coder.bsimmons.name/blog/2009/10/the-state-monad-a-tutorial-for-the-confused/) -* Haskell state monads: [part 1](http://mvanier.livejournal.com/1765.html) [part 2](http://mvanier.livejournal.com/1901.html) - [part 3](http://mvanier.livejournal.com/4586.html) [part 4](http://mvanier.livejournal.com/4647.html) +* Haskell state monads: [part 1](http://mvanier.livejournal.com/1765.html) [part 2](http://mvanier.livejournal.com/1901.html) [part 3](http://mvanier.livejournal.com/4586.html) [part 4](http://mvanier.livejournal.com/4647.html)

-

* [Research Papers/Monads and Arrows](http://www.haskell.org/haskellwiki/Research_papers/Monads_and_arrows) * [Eugenio Moggi, Notions of Computation and Monads](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf): Information and Computation 93 (1) 1991. -* [Philip Wadler. Monads for Functional Programming](http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf): -in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Springer Verlag, NATO ASI Series F: Computer and systems sciences, Volume 118, August 1992. Also in J. Jeuring and E. Meijer, editors, *Advanced Functional Programming*, Springer Verlag, LNCS 925, 1995. Some errata fixed August 2001. - * [Philip Wadler. The essence of functional programming](http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence.ps): invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Press, Albuquerque, January 1992. - -

+* [Philip Wadler. Monads for Functional Programming](http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf): +in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Springer Verlag, NATO ASI Series F: Computer and systems sciences, Volume 118, August 1992. Also in J. Jeuring and E. Meijer, editors, *Advanced Functional Programming*, Springer Verlag, LNCS 925, 1995. Some errata fixed August 2001. + * Ken Shan [Monads for natural language semantics](http://arxiv.org/abs/cs/0205026v1) (2001) uses reader monad to implement intensionality. * Ben-Avi and Winter [A modular approach to intensionality](http://parles.upf.es/glif/pub/sub11/individual/bena_wint.pdf) (2007) reinvents the technique. -- 2.11.0