SMLFamily/Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
TeX
Watchers
- aBathologist@keyme
- atsampson
- avindraUnited States
- bluegnucodemonkey.biz
- dmacqueenUniversity of Chicago
- egoholicDemiurgeDashboard
- gianNav
- giorgio-v
- glaebhoerlHungary
- igstanEloquentix
- inaimathiCanada
- jhcloos
- jimwiseGreater New York Metro
- jonsterlingUniversity of Cambridge
- k4rtikUChicago CS
- kalorie
- kiug
- kyleroot@aiera-inc
- larsbergstromGoogle
- llelf
- marsamPeru
- matozoid@laamella-gad
- MatthewFluetRochester Institute of Technology
- melsmanUniversity of Copenhagen, Denmark
- Munksgaard@diku-dk
- pclayton
- PuercoPopLima, Perú
- ratmice
- romildoUFOP
- steshaw@tweag
- strangemonadSan Francisco
- tlogan
- trycatcher
- tssm@Imerso3D
- Z-ShangMongoDB
- zwarich