Alice

Website: www.ps.uni-saarland.de/alice[1]

Designed by: Saarland University

Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany.

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.