Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Lee, K.D. (2017). Compiling Standard ML. In: Foundations of Programming Languages. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-70790-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-70790-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70789-1
Online ISBN: 978-3-319-70790-7
eBook Packages: Computer ScienceComputer Science (R0)