Computing Dictionary

SML# definition

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.
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: sml
Next Definition: sml/nj
Words Near: sml#
More from
Synonyms and Antonyms for sml#
More from
Search for articles containing sml#
More from Translator Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature