Alice
=====

http://www.ps.uni-saarland.de/alice[Alice ML] is an extension of SML with
concurrency, dynamic typing, components, distribution, and constraint
solving.