History of Standard ML [pdf]

Also, see:

Memories: Edinburgh ML to Standard ML at https://lawrencecpaulson.github.io//2022/10/05/Standard_ML.h...

This is the first ML topic of this year. What happened to this language, is it alive?