{"version":"1.0","type":"link","title":"Extended ML - Newikis","description":"Extended ML is a general-purpose, high-level, wide-spectrum programming language based on the languages ML and Standard ML, covering both program specification and implementation. It extends the syntax of ML to include axioms, which do not need to be executable but can rigorously specify the…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}