AliceSaarland 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: Futures: laziness and light-weight
Photo Tourism: Microsoft Research, Interactive Visual Media Group
The MinCaml Compiler
超特急: 一時間でわかるML超入門
