The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies

ML (Computer program language)

LC control no.sh 87004533
LC classificationQA76.73.M6
Topical headingML (Computer program language)
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Meta Language (Computer program language)
SML (Computer program language)
Standard ML (Computer program language)
See alsoProgramming languages (Electronic computers)
    Browse this term in  LC Authorities
Found inWork 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)