. . . "1.4" . "Alice ML is a programming language designed by the Programming Systems Lab at Saarland University, Saarbr\u00FCcken, 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."@en . "Alice"@en .