An extension and redesign of Standard ML. Under development.
Try this search on Wikipedia, OneLook, Google