A class-based *(object-oriented) *(programming language) with support for _(higher-order) _(concurrency). It also has some features associated with the _(ML) family of languages: advanced _(module) systems, parametric polymorphism, inductive datatypes, _(pattern-matching), and first-class functions.

<ul class="links">
<li>_(The home site| http://moby.cs.uchicago.edu/)
</ul>
