Assertion: standard ml | /r/HasProperty | sml
Facets:
Source sentences:
text: Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.