Alice

" #AliceML is a #functionalprogramming language based on Standard ML, extended with rich support for concurrent, distributed, and #constraintprogramming."
#plt #computerscience
www.ps.uni-saarland.de/alice/