Popular repositoriesLoading

1. Successor-MLSuccessor-MLPublic

   A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

   TeX 205 10

2. The-Definition-of-Standard-MLThe-Definition-of-Standard-MLPublic

   The Definition of Standard ML (1990)

   TeX 124 11

3. The-Definition-of-Standard-ML-RevisedThe-Definition-of-Standard-ML-RevisedPublic

   The Definition of Standard ML, Revised (1997)

   TeX 117 13

4. The-Mechanization-of-Standard-MLThe-Mechanization-of-Standard-MLPublic

   The Mechanization of Standard ML

   74 4

5. SML-The-Living-LanguageSML-The-Living-LanguagePublic

   SML, The Living Language (aka, Successor ML)

   72 6

6. BasisLibraryBasisLibraryPublic

   Repository and Wiki for enriching the Standard ML Basis Library

   Standard ML 64 5