Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,500 papers from all fields of science
Search
Sign In
Create Free Account
Moscow ML
Known as:
MoscowML
, Mosml
Moscow ML is an implementation of Standard ML.The codebase is derived from Caml Light. The latest release is 2.10. Supported platforms include Unix…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
.NET Framework
HOL (proof assistant)
Microsoft Windows
Proof assistant
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
S. Semerikov
,
O. Polishchuk
arXiv.org
2018
Corpus ID: 51602792
The place and role of parsing analysis in formation of professional informatics competences of future informatics teachers is…
Expand
Review
2003
Review
2003
Moscow ML .Net Owner's Manual
Niels Jørgen Kokholm
,
P. Sestoft
2003
Corpus ID: 146015068
This document describes Moscow ML .Net 0.9.0, a port of Moscow ML 2.00 to the .Net platform. The focus is on how Moscow ML .Net…
Expand
Review
2000
Review
2000
Moscow ML Language Overview
S. Romanenko
,
Claudio V. Russo
,
P. Sestoft
2000
Corpus ID: 117152543
This is a compact reference to the language implemented by Moscow ML, a subset of Standard ML. Acknowledgement: The present…
Expand