Milner The Definition of Standard ML - 2 - MIT Press 1997 - fulltext ISBN: 9780262287005 Subjects--Topical Terms: Computing and Processing