GeezerVison

Popular repositories Loading

1. Successor-ML Successor-ML Public

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

   TeX 210 10

2. The-Definition-of-Standard-ML The-Definition-of-Standard-ML Public

   The Definition of Standard ML (1990)

   TeX 127 12

3. The-Definition-of-Standard-ML-Revised The-Definition-of-Standard-ML-Revised Public

   The Definition of Standard ML, Revised (1997)

   TeX 121 14

4. The-Mechanization-of-Standard-ML The-Mechanization-of-Standard-ML Public

   The Mechanization of Standard ML

   75 5

5. SML-The-Living-Language SML-The-Living-Language Public

   SML, The Living Language (aka, Successor ML)

   72 7

6. BasisLibrary BasisLibrary Public

   Repository and Wiki for enriching the Standard ML Basis Library

   Standard ML 63 6