Alice

Alice

Saarland University
Informatics
Programming Systems


Home
People
Papers

Manual
Download
Contributions
Contact

Wiki
Bugs


Alice 1.4 has been released!

Overview

Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Alice ML extends Standard ML with several new features:

The Alice System is a rich open-source programming system featuring the following tools:

Tutorial

Be our guest on the Short Tour to Alice!

News


Stockhausen, Thu Jul 31 11:51:03 2014