<?php include("macros.php3"); ?>

<?php heading("Extensions to the SML type language",
		"type\nlanguage\nextensions") ?>



<?php section("overview", "overview") ?>

<P>Alice ML has an extended type language featuring:</P>

<UL>
<!--
  <LI> <A href="#rebind">Overloaded rebinding</A> </LI>
-->
  <LI> <A href="#datatype">Structural datatypes</A> </LI>
  <LI> <A href="#exttype">Extensible datatypes</A> </LI>
  <LI> <A href="#wildcards">Type wildcards</A> </LI>
  <LI> <A href="#packages">Dynamic typing</A> </L