According to this blog post from 2009[0], it was slightly faster than C compiled with the GCC and almost 15x faster than Chicken Scheme. I have tried looking for more rigorous benchmarks but have been unable to find any.

[0] http://justindomke.wordpress.com/2009/02/23/the-stalin-compi...

The closest is probably MLton, a compiler for Standard ML.

Named, I'm assuming, for John Milton? That so-called poet and all-around horrible person that even Samuel Johnson considered an "acrimonious and surly republican"? It's his Paradise Lost we have to thank for the scourge of "blank verse"! Oh, the humanity! Also he supported and served under Cromwell, of all people! Surely we can throw this horribly-named compiler on the dustpile of computer science history!?

Milton never murdered between 20 and 60 million people.

Only because there weren't that many people in the vicinity! A large portion of those who did have the misfortune to be there got killed, though; estimates are that about 15-25% of the Irish population was killed. https://en.wikipedia.org/wiki/Cromwellian_conquest_of_Irelan...

Pretty sure it was a joke.

Standard ML is not a dynamic language.

No, but it does whole-program optimization.