SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added. edit / delete

A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)

to functional language-design ml standard-ml ... on 18 October 2016

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to ml

- ml
 
1 + functional
1 + language-design
1 + standard-ml