Extended Moscow ML
Extended Moscow ML is an attempt to combine
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
- Extended Moscow ML for Linux.
- Extended Moscow ML for MS Windows 95/98/ME/NT/2000/XP (unpack with Info-Zip or Winzip):
Moscow ML links
Local copies of Moscow ML documentation (postscript)