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.