[gaius]

Is it just me, or does SML already mean Standard ML?

[heretohelp]

You'd almost think that people working in CS had narrow specializations...