{"version":"1.0","type":"link","title":"Standard ML - Newikis","description":"Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers. It was created by Robert Harper.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}