Hello, is it right to say that Philip Wadler was the one who invented monadic I/O or were there others who did so together with Wadler? I need this for my thesis. :-) Best wishes, Wolfgang
Hi Wolfgang You may want to consider the papers by E. Moggi on Monadic computation (1989, 1990) at http://www.disi.unige.it/person/MoggiE/publications.html and Andrew Gordon's thesis "Functional Programming and Input/Output" (Sorry, I don't have a URL). Brett Giles gilesb@cpsc.ucalgary.ca http://pages.cpsc.ucalgary.ca/~gilesb On Mon, 2005-08-29 at 18:20 +0200, Wolfgang Jeltsch wrote:
Hello,
is it right to say that Philip Wadler was the one who invented monadic I/O or were there others who did so together with Wadler? I need this for my thesis. :-)
Best wishes, Wolfgang _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Wolfgang, I thing that Eugenio Moggi was the first to combine monads from category theory with the lambda calculus. Check out: Computational Lambda Calculus and Monads, Eugenio Moggi, 1988 http://www.disi.unige.it/person/MoggiE/ It's citeseer page is at: http://citeseer.ist.psu.edu/275817.html Ben. Wolfgang Jeltsch wrote:
Hello,
is it right to say that Philip Wadler was the one who invented monadic I/O or were there others who did so together with Wadler? I need this for my thesis. :-)
Best wishes, Wolfgang _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
participants (3)
-
Ben Lippmeier -
Brett Giles -
Wolfgang Jeltsch