This article needs additional citations for verification. (February 2011) |
Paradigms | Multi-paradigm: imperative, functional, distributed, concurrent, constraint |
---|---|
Family | ML: Standard ML |
Developer | Saarland University |
First appeared | June 16, 2000 |
Stable release | 1.4
/ May 3, 2007 |
Typing discipline | strong, static, inferred |
OS | Cross-platform |
License | MIT |
Website | www |
Influenced by | |
ML, Oz |
Alice ML is a general-purpose, high-level, multi-paradigm, functional programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany.[2] 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.