[PL-sem-jr] Monads in Programming

[Artem Pelenitsyn]

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
-------------- next part --------------
HTML attachment scrubbed and removed