Compiling Standard ML
The ML in the name Standard ML stands for meta-language. SML was designed as a language for describing languages when it was used as part of the Logic for Computable Functions (LCF) system (Gordon, From LCF to HOL: a short history, pp. 169–185, 2000) . Two tools were designed to work with Standard ML for language implementation, ML-lex and ML-yacc.