« earlier | later »
Page 1 of 1
SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
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
by Adam Sampson.