Alice ML

Alice ML is a general-purpose, multi-paradigm functional programming language designed at Saarland University in Germany. It is a dialect of Standard ML augmented with lazy evaluation, concurrency and constraint programming.

Paradigms
Imperative, Functional, Concurrent and distributed, Logic and declarative
First appeared
2000
Reference
Wikipedia article