SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library
Standard ML Basis Manual
โ Scribed by Gansner E.R.
- Year
- 2004
- Tongue
- English
- Leaves
- 486
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
Written as a reference for programmers who use SML, this text provides descriptions of the types, values, and modules that make up the Library and a set of manual pages defining its signatures and structures. In addition, some chapters are devoted to descriptions of some component areas, including I/O and text handling, in some cases with short tutorial sections indicating how the types and functions are used. The manual pages describe the signatures, structures, and functors specified by the Library, and their semantics. The modules are presented alphabetically. A bibliography and general index, SML identifier index, and raised exception index are included. Gansner is with AT&T Laboratories; Reppy is at the U. of Chicago. Annotation c 2006 Book News, Inc., Portland, OR"
๐ SIMILAR VOLUMES
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library
"In this new and authoritative textbook the essential features of SML are taught with the use of extensive practical examples and exercises. The book will be ideal for a first level course in functional programming, presenting the functional paradigm as a useful approach in its own right, as well as