Tags: Programming Language.
Alice ML is a programming language designed by the Programming Systems Lab at Saarland University. It is a dialect of Standard ML augmented with support for lazy evaluation concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.