Projects / Alice ML

Alice ML

Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.

Operating Systems

Recent releases

  •  18 Sep 2006 12:06

    Release Notes: Alice now incorporates some of the proposed extensions for Successor ML. The bytecode jitter is now the default execution unit. The documentation includes a constraint programming tutorial, and the constraint library now uses the current stable version of Gecode.

    •  28 Mar 2005 07:05

      Release Notes: The Interactive Toplevel now comes with an optional GUI that includes a simple editor. The library now enables safe runtime access to the compiler, including a type-safe Lisp-style "eval". Programmable custom search strategies for constraint programming are now supported, including a distributed search engine. An aliceglade tool allows the creation of GTK+ interfaces with the graphical Glade interface builder. Bugfixes and minor feature enhancements were made.


      Project Spotlight


      A Fluent OpenStack client API for Java.


      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.