Compiling Standard ML

  • Kent D. LeeEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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) [9]. Two tools were designed to work with Standard ML for language implementation, ML-lex and ML-yacc.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Luther CollegeDecorahUSA

Personalised recommendations