LC control no. | sh 87004533 |
---|---|
LC classification | QA76.73.M6 |
Topical heading | ML (Computer program language) |
Variant(s) | Meta Language (Computer program language) SML (Computer program language) Standard ML (Computer program language) |
See also | Programming languages (Electronic computers) |
Found in | Work cat.: Wikström, Å. Functional programming using standard ML, 1987 (ML stands for Meta language and is the name of the command language in the LCF system, a system for proving the correctness of programs) E-mail from Stefan Kahrs, 4/30/96 (Standard ML; short: SML) |