A *(functional) *(programming language) extended from Standard *(ML) with support for _(concurrent), _(distributed), and constraint programming. It is implemented on the _(Mozart/Oz) platform.

The features distinguishing it from ML are:
<ul>
<li>Laziness
<li>_(Future)s
<li>_(Higher-Order) Modules
<li>Components
<li>Pickling-based persistence
<li>Constraints
</ul>

<ul class="implementations">
<li>The _(home page| http://www.ps.uni-sb.de/alice/)
</ul>
