[PL-sem-jr] Monads in Programming

Hugo Musso Gualandi hgualandi at inf.puc-rio.br
Sat Nov 3 23:28:25 EDT 2018


By the way, here are the links to SPJ's tutorial:


https://www.microsoft.com/en-us/research/publication/tackling-awkward-squad-monadic-inputoutput-concurrency-exceptions-foreign-language-calls-haskell/


https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf

On Sat, 2018-11-03 at 10:09 -0400, Artem Pelenitsyn wrote:
> Hello all,
> 
> Here are the ways for meeting monads we mentioned:
> 
> - P. Wadler: Monads for functional programming (lecture notes from
> Marktoberdorf summer school 1992, AFP 1995 revised, 31 p.)
> 
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
> 
> - SPJ: Tackling the Awkward Squad: monadic input/output, concurrency,
> exceptions, and foreign-language calls in Haskel (lecture notes from
> Marktoberdorf summer school, 2001, 46 p.)
> 
> There is one more paper came to my mind, by both of these guys:
> Imperative functional programming (POPL 1993)
> 
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/01/imperative.pdf
> 
> I've looked into all of these. Although conference papers are more
> useful to study in general, SPJs notes from 2001 are much more up to
> date, and because of that look more appealing to me right now.
> Needless to say, lecture notes has much more gentle learning curve.
> Thanks to Hugo for bringing them up!
> 
> Also, if you are interested, I can present this topic following any
> of those papers.
> 
> --
> Best, Artem
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr




More information about the Pl-sem-jr mailing list