The definition of standard ML revised - Milner, R. 1934-2010 (MIT Press, 1997)
Keywords: ML (Computer program language); elektronické knihy; electronic books