meaning of standard ml of new jersey

1. Standard ML of New Jersey SML/NJ An implementation of SML by Andrew Appel at Princeton edu> and Dave MacQueen at AT&T. Version 0. 93. ["Standard ML of New Jersey", A. Appel et al, "Proc Third Intl Symp on Prog Lang Impl and Logic Programming", LNCS Springer 1991]. Versions for Unix, Mac. ftp://cs. yale. edu/pub/ml, ftp://research. att. com/dist/ml. Mailing list: sml@cs. cmu. edu. standard semantics The standard interpretation of a term in some language yields the terms standard denotational semantics, i. e. its "meaning" This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain. The domain is the interpretation of the terms type. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We say that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e. g. an abstract interpretation. Stanford Artificial Intelligence Laboratory education> SAIL /sayl/, not /S-A-I-L/ An important site in the early development of LISP; with the MIT AI Lab, BBN, CMU, XEROX PARC, and the Unix community, one of the major wellsprings of technical innovation and hacker-culture traditions see the WAITS entry for details. The SAIL machines were shut down in late May 1990, scant weeks after the MIT AI Labs ITS cluster was officially decommissioned. [Jargon File]

Related Words

standard ml of new jersey |

Developed & Maintained By Taraprasad.com