Alice (programming language)
Appearance
For the object-oriented programming system from Carnegie-Mellon University, see Alice (software)
Alice is a functional programming language designed by the programming systems group at Saarland University. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading) and constraint programming.