Hello,<br><br>     Here is probably a good paper to get people up to speed on dependent types (ironically written by two contributors to this mailing list??): <cite><a href="http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf">okmij.org/ftp/papers/lightweight-static-capabilities.pdf</a><br>
<br><br><br>Vasili<br></cite>