Xanadu is an _(imperative) *(programming language) with *(dependent types).

<ul class="links">
<li>_(Home page of the Xanadu programming language|http://www.cs.bu.edu/~hwxi/Xanadu/Xanadu.html)
</ul>
