*(Type System)s Varieties:

<ul class="links">
<li>Hindley-Milner;</li>
<li>_(constraints)-based:
  <ul>
  <li>_("A Systematic Approach in Type System Design based on Constraint Handling Rules (CHRs)"| http://www.comp.nus.edu.sg/~sulzmann/chr/).</li>
  <li>_("Wallace"|http://pauillac.inria.fr/~fpottier/wallace/wallace.html.en).</li>
  </ul>
<li>_("Type Systems for Modularity"|http://www-2.cs.cmu.edu/~rwh/courses/modules/index.htm).</li>
<li>Polynomial Time Complexity as a Type: see _(this paper| http://www-lipn.univ-paris13.fr/~baillot/Publications/MESPAPIERS/IFIPTCS02.ps.gz) for the theory, and _(this pre-print| http://www-lipn.univ-paris13.fr/~baillot/Publications/MESPAPIERS/preprint03-02.pdf) for more information.</li>
<li>_(Behavioral Contracts and Behavioral Subtyping| http://people.cs.uchicago.edu/~robby/publications/index-abstracts.html#5): typing for behavior, for object-oriented systems.</li>
</ul>