lambda1@tg says to YSITD They were trying to analyse ML. They did so by analysing the "core" of the language, which they called "Mini-ML".