Reputation: 133
Actual Standard ML specification is The Definition of Standard ML (Revised) , which available on MITPress only in a print version.
Is it availaible in electronic format (pdf, ps, i.e.)?
Upvotes: 2
Views: 115
Reputation: 8485
The Definition was recently made available by MIT Press and the source is on Github, including instructions on how to compile a PDF.
Upvotes: 0
Reputation: 18879
No.
I see this as a mistake. The specification of a language ought to be free. Otherwise, you limit the amount of people interested in it automatically. To be fair though, the Definition of SML is really good work - and far more encompassing than any other lang. specification. It has probably also taken a lot more time to write!
Upvotes: 2