{"version":"1.0","type":"link","title":"SML - Newikis","description":"Az SML programozási nyelv a lambda-kalkuluson alapuló funkcionális programozási nyelvek családjába tartozik, az ML programozási nyelv szabványosított kiterjesztése. A széles körben elterjedt nyelvek között egyedi módon formális specifikációval rendelkezik, működési szemantikáját a The Definition of…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}