Moscow ML - A worldwide success

One outcome of Dina's computer science activities which has no relation to agriculture is the creation of Moscow ML, a light-weight computer implementation of the data processing system Core Standard ML. Initiated in 1993, Moscow ML has been developed continuously by P. Sestoft, Assoc.Prof. in data processing at KVL and expert in Dina Research School, in cooperation with S. Romanenko, The Russian Academy of Science. The system has been distributed from ftp.dina.kvl.dk since Sept. 1994 and over 10,000 copies have been downloaded from more than 40 countries. Moreover P. Sestoft has participated in the design, implementation and testing of the Standard ML Basis Library which is a joint effort of the three main Standard ML computer implementations.