A *(person), professor in Computer Science at  DISI (Dipartimento di 
Informatica e Scienze dell'Informazione -- Department of Computer and 
Information Science), University of Genova, Italy.

He first theorized the use of _(monad)s in _(functional)
_(programming languages).

<ul class="links">
  <li>_("Home page" | http://www.disi.unige.it/person/MoggiE/).</li>
  <li>_("Publications"
       | http://www.disi.unige.it/person/MoggiE/publications.html).</li>
  <li>His pioneer work on _(monad)s
    <em>Computational lambda-calculus and monads</em>
    <ul>
      <li>Tech. Report ECS-LFCS-88-66
        [_("ps.gz" | http://www.disi.unige.it/person/MoggiE/ftp/lc88.ps.gz)]
        [_("pdf"   | http://www.disi.unige.it/person/MoggiE/ftp/lc88.pdf)]
      </li>
      <li>LICS 1989
        [_("ps.gz" | http://www.disi.unige.it/person/MoggiE/ftp/lics89.ps.gz)]
        [_("pdf"   | http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf)]
        [_("Citeseer" | http://citeseer.nj.nec.com/moggi89computational.html)]
      </li>
    </ul>
  </li>
  <!--li></li-->
</ul>
