## References * [[Eugenio Moggi]] * Eugenio Moggi, notions of computation and monads, [pdf](http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf) * Nick Benton, John Hughes, Eugenio Moggi, Monads and effects, [pdf](http://www.disi.unige.it/person/MoggiE/APPSEM00/BHM-revised.pdf) * Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard, Logical Modalities and Multi-Stage Programming, [pdf](http://www.disi.unige.it/person/MoggiE/ftp/imla99.pdf)