Alice

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

Proiectat de: Saarland University

Alice ML este un limbaj de programare proiectat de laboratorul de sisteme de programare de la Universitatea Saarland, Saarbrücken, Germania.

Este un dialect al ML standard, sporit cu suport pentru evaluarea leneșă, concordanță (multithreading și calcul distribuit prin apeluri de procedură la distanță) și programare de constrângere.