🚀 go-pugleaf

I am a novice looking to learn ML.

I know of the following books on ML:

ML Primer
ML for the Working Programmer
Definition of Standard ML  (or something along these lines)
Commentary on the Definition

Are there others?

I would like comments the relative merits of all of the above. (Do any of the
other books make the Definition unnecessary?)

I am happy to get any amout of interesting commentary on the language,
but require a good reference and a good introduction to the idioms of
the language.

Note: I tend to favor very dense language texts. (I learned C++ from the ARM
--- I found it only the slightest bit too dense).  


			thanks,
			mike