Alice (programming language)

Alice
ParadigmsMulti-paradigm: imperative, functional, distributed, concurrent, constraint
FamilyML: Standard ML
DeveloperSaarland University
First appearedJune 16, 2000 (2000-06-16)
Stable release
1.4 / May 3, 2007 (2007-05-03)
Typing disciplinestrong, static, inferred
OSCross-platform
LicenseMIT
Websitewww.ps.uni-saarland.de/alice[1]
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.

  1. ^ "Alice". DE: Saarland University.
  2. ^ "Programming Systems Lab". Archived from the original on 5 October 2006. Retrieved 8 August 2006.

Developed by StudentB