3 ms·

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 Introducti

by cm3 11y ago

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 https://github.com/DIKU-IP/InstagraML) MoscowML credits some authors from Diku http://studies.ku.dk/masters/it-and-cognition/profile-and-career/staff/?pure=en%2Fpublications%2Fhosting-a-standard-ml-compiler-in-a-web-browser%28aa3cd796-eb8f-4620-a3c4-559961ecbfc0%29%2Fexport.html http://studies.ku.dk/masters/it-and-cognition/profile-and-ca... http://diku.dk/english/calendar2011/using_llvm_to_implement_a_standard_ml_jit_compiler_kopi/ http://diku.dk/english/calendar2011/using_llvm_to_implement_... https://en.wikipedia.org/wiki/Mads_Tofte https://en.wikipedia.org/wiki/Mads_Tofte I cannot find a link to an SML course taught there but you'd expect one.

cm3 11y ago
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/ 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.