Programming in Standard ML
Robert W. Harper, Franck van Breugel, Karl Crary, Mike Erdmann, Matthias Felleisen, Joel Jones, John Lafferty, Frank Pfenning, C. Addison Stone, Dave Swasey, Johan Wallen, Scott D. WILLIAMS · 2002
Hardware Ltd. Concurrent ML is an extension of Standard ML with primitives for concurrent programming; it is available as part of the Standard ML of New Jersey compiler. (For users at Carnegie Mellon, see the CMU local guide for information about using Standard ML.) These notes are a work in progress. I am making regular updates, so please check back for changes. The most recent revision was made on Tuesday, May 05, 1998 12:32 PM. Corrections, comments and suggestions are welcome. For users who are not able to browse this web site, I have prepared a complete draft (in Postscript Concatenation Page 2 of 186 file://C:\\Users\\rwh\\introsml-complete.html 7/8/98 format) for downloading. This copy is updated infrequently; please refer to the web pages for the latest revisions. [TableofContents] [OverviewofStandardML] [CoreLanguage] [ModuleLanguage] [ProgrammingTechniques] [SamplePrograms] [BasisLibrary] Concatenation Page 3 of 186 file://C:\\Users\\rwh\\introsml-complete.html 7/8/98 Table ...