Alice ML

LVC – Linear Verified Compiler

Alice SML: Rich Support for Concurrent, Distributed and Constraint Programming