3 ms·History of Standard ML [pdf]3 points by furcyd 4y agofurcyd 4y agoAlso, see: Memories: Edinburgh ML to Standard ML at https://lawrencecpaulson.github.io//2022/10/05/Standard_ML.html https://lawrencecpaulson.github.io//2022/10/05/Standard_ML.h...eimrine 4y agoThis is the first ML topic of this year. What happened to this language, is it alive?