Extended Moscow ML

Extended Moscow ML is an attempt to combine Moscow ML and Extended ML. The most obvious difference between Extended Moscow ML and the usual version of EML is that quantifiers now have to be spelled with initial capitals (Exists, Forall). This is due to the fact that a clash arises with the functions List.exists and Listpair.exists in the SML Basis Library. There are various other differences arising from the fact that EML is based on SML90 whereas Extended Moscow ML is based on SML97. Detailed documentation will appear at a later date, but in the meantime you can look at my M.Sc. dissertation (the implementation was incomplete when this was written, but it has since been completed).

Extended Moscow ML files

Moscow ML links

Moscow ML home page.

Local copies of Moscow ML documentation (postscript)