Eugenio Moggi
Eugenio Moggi, notions of computation and monads, pdf
Nick Benton, John Hughes, Eugenio Moggi, Monads and effects, pdf
Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard, Logical Modalities and Multi-Stage Programming, pdf