Last update: 2012-09-12

<h1>Computational Types, Collection Types and Monads
<br>Course Sep 2012 @ <a href="http://homes.di.unimi.it/~cazzola/phd-apt.html#computational-types-collection-types-and-monads">Dottorato UNIMI</a> 
</h1>

<ul>
<li>Lecturer:
<a href="http://www.disi.unige.it/person/MoggiE/">Eugenio Moggi</a>
(Univ. di Genova)
<li>
<a href="EM-PhDMI-2012-09.pdf">Slides</a>
(use acroread - last update 2012-09-12)
</ul>

<h3>Abstract</h3>

In the context of programming languages type systems provide a general and
convenient tool for classifying different kind of entities, and in doing so they
are relevant for error detection and optimization.  We introduce computational
types and collection types, appropriate syntax associated to these types
(borrowing mainly from Haskell), their mathematical semantics in terms of monads
(and algebraic theories), and give an overview of their uses (mainly in the
context of Haskell).

<!--
<h3>Program</h3>
<ul>
<li>Part 1: 
<li>Part 2
<li>Part 3
<li>Part 4
</ul>
-->

<h2>Related Material</h2>

<ul>
<li>
<a href="http://www.cs.unibo.it/~asperti/PAPERS/book.pdf">Categories, Types and
Structures</a> (An Introduction to Category Theory for the Working Computer
Scientist), A.Asperti and G.Longo, MIT Press, 1991 (out-of-print, downloadable).
<li>Course on <a href="../APPSEM00">Monads and Effects @ APPSEM Summer School 2000</a>
<li>Course on <a href="../AILA07">Teoria delle Categorie @ Scuola AILA 2007</a>
</ul>