User loginNavigation |
Commentary on Standard MLUnder the category of "what I'm up to", found the book by Milner and Tofte at the used bookstore over the weekend. On chapter 8 at the moment. I see that the Commentary book is online for those who haven't read it yet (last published in 1991, it's out of print). This book is the companion to the Definition of Standard ML, which defines SML in mathematical terms. The Commentary is a bit more approachable, but I must admit that I probably could use a "Commentary on the Commentary on Standard ML", to make the Commentary digestable. But then the two books are aimed at implementors of the language. Still, I managed to pick up some useful information on ML here and there. |
Browse archives
Active forum topics |
Recent comments
16 weeks 4 days ago
16 weeks 4 days ago
16 weeks 4 days ago
38 weeks 5 days ago
43 weeks 12 hours ago
44 weeks 4 days ago
44 weeks 4 days ago
47 weeks 2 days ago
51 weeks 6 days ago
51 weeks 6 days ago