Untitled (https://smlfamily.github.io/history/SML-history.pdf)
smlfamily.github.io
The History of Standard ML, new 2020 paper
The History of Standard ML, new 2020 paper