To be clear I base my assumption on the fact that there's Standard ML work coming from Diku. So I should say "I believe they teach it at Diku".

DIKU Introduction to Programming organization on github has "ML Picture Library (for teaching purposes)" (https://github.com/DIKU-IP/InstagraML)

MoscowML credits some authors from Diku

http://studies.ku.dk/masters/it-and-cognition/profile-and-ca...

http://diku.dk/english/calendar2011/using_llvm_to_implement_...

https://en.wikipedia.org/wiki/Mads_Tofte

I cannot find a link to an SML course taught there but you'd expect one.

There's also Isabelle where TU Munich played a large role together with institutions from other continents and still does.

Also look at http://www.elsman.com/mlkit/ which incorporates many modern features, some of which can be found in similar form in Rust, recalling that the idea for regions wasn't invented by and is older than Rust.

There you'll find more Danish SML folks and links to SMLtoJs and somewhere down a link to the Smackage SML package manager and smbt Smackage build tool.

SML doesn't appear to be as dead as it seems from the outside.