DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
Search for:
Mini search box
 
English Dictionary: SML by the DICT Development Group
2 results for SML
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   SML
  
      1. {Standard ML}.
  
      2. Small Machine Language.   Barnes, ICI 1969.   Real-time
      language, an ALGOL variant, and the predecessor of RTL.   "SML
      User's Guide", J.G.P.   Barnes, ICI, TR JGPB/69/35 (1969).
  
  

From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
   SML#
  
      An extension of SML/NJ with polymorphic field selection and
      nondestructive field update.   "A Compilation Method for
      ML-style Polymorphic Record Calculi", A. Ohori, POPL 1992.
  
      {(ftp://ftp.cis.upenn.edu/pub/sml#/)}.
  
  
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners