IIRC Robin Milner took the decision to pretty much ban any further work after the '97 revision being called "Standard" ML. The work can be done (and some has) b

IIRC Robin Milner took the decision to pretty much ban any further work after the '97 revision being called "Standard" ML. The work can be done (and some has) but it has to be called something else.