Free Programming Books

6 Excellent Free Books to Learn Standard ML

4. The Standard ML Basis Library by Emden R. Gansner and John H. Reppy

Standard ML Basis LibraryStandard ML 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, this work concisely describes the types and functions defined in the library and discusses in depth the library’s design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.

The book serves as a programmer’s reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface.

This manual will be an indispensable reference for students, professional programmers, and language designers.

Read the book


5. Programming in Standard ML by Robert Harper

Programming in Standard ML

These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer. They began as lecture notes for 15-212: Fundamental Principles of Computer Science II, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. They have subsequently been used in several other courses at Carnegie Mellon, and at a number of universities around the world. These notes are intended to supersede the author’s Introduction to Standard ML.

The emphasis of this book is on informal derivation of examples that show both correct and incorrect approaches. It shows functional language as a practical tool for software design and contains real life examples to allow for large scale software engineering issues.

This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License.

Read the book


6. Programming in Standard ML ’97: A Tutorial Introduction by Stephen Gilmore

Programming in Standard ML '97: A Tutorial IntroductionStandard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming.

This tutorial introduces important concepts in the language, illustrating them with brief examples.

These are the lecture notes from an eighteen lecture Master of Science course given in the Department of Computer Science at The University of Edinburgh between 1992 and 1997.

Read the tutorial


Pages in this article:
Page 1 – ML for the Working Programmer and more books
Page 2 – The Standard ML Basis Library and more books


All books in this series:

Free Programming Books
JavaGeneral-purpose, concurrent, class-based, object-oriented, high-level language
CGeneral-purpose, procedural, portable, high-level language
PythonGeneral-purpose, structured, powerful language
C++General-purpose, portable, free-form, multi-paradigm language
C#Combines the power and flexibility of C++ with the simplicity of Visual Basic
JavaScriptInterpreted, prototype-based, scripting language
PHPPHP has been at the helm of the web for many years
HTMLHyperText Markup Language
SQLAccess and manipulate data held in a relational database management system
RubyGeneral purpose, scripting, structured, flexible, fully object-oriented language
AssemblyAs close to writing machine code without writing in pure hexadecimal
SwiftPowerful and intuitive general-purpose programming language
GroovyPowerful, optionally typed and dynamic language
GoCompiled, statically typed programming language
PascalImperative and procedural language designed in the late 1960s
PerlHigh-level, general-purpose, interpreted, scripting, dynamic language
RDe facto standard among statisticians and data analysts
COBOLCommon Business-Oriented Language
ScalaModern, object-functional, multi-paradigm, Java-based language
FortranThe first high-level language, using the first compiler
ScratchVisual programming language designed for 8-16 year-old children
LuaDesigned as an embeddable scripting language
LogoDialect of Lisp that features interactivity, modularity, extensibility
RustIdeal for systems, embedded, and other performance critical code
LispUnique features - excellent to study programming constructs
AdaALGOL-like programming language, extended from Pascal and other languages
HaskellStandardized, general-purpose, polymorphically, statically typed language
SchemeA general-purpose, functional language descended from Lisp and Algol
PrologA general purpose, declarative, logic programming language
ForthImperative stack-based programming language
ClojureDialect of the Lisp programming language
JuliaHigh-level, high-performance language for technical computing
AwkVersatile language designed for pattern scanning and processing language
CoffeeScriptTranscompiles into JavaScript inspired by Ruby, Python and Haskell
BASICBeginner’s All-purpose Symbolic Instruction Code
ErlangGeneral-purpose, concurrent, declarative, functional language
VimLPowerful scripting language of the Vim editor
OCamlThe main implementation of the Caml language
ECMAScriptBest known as the language embedded in web browsers
BashShell and command language; popular both as a shell and a scripting language
LaTeXProfessional document preparation system and document markup language
TeXMarkup and programming language - create professional quality typeset text
ArduinoInexpensive, flexible, open source microcontroller platform
TypeScriptStrict syntactical superset of JavaScript adding optional static typing
ElixirRelatively new functional language running on the Erlang virtual machine
F#Uses functional, imperative, and object-oriented programming methods
TclDynamic language based on concepts of Lisp, C, and Unix shells
FactorDynamic stack-based programming language
EiffelObject-oriented language designed by Bertrand Meyer
AgdaDependently typed functional language based on intuitionistic Type Theory
IconWide variety of features for processing and presenting symbolic data
XMLRules for defining semantic tags describing structure ad meaning
ValaObject-oriented language, syntactically similar to C#
Standard MLGeneral-purpose functional language characterized as "Lisp with types"
DGeneral-purpose systems programming language with a C-like syntax
DartClient-optimized language for fast apps on multiple platforms
MarkdownPlain text formatting syntax designed to be easy-to-read and easy-to-write
KotlinMore modern version of Java
Objective-CObject-oriented language that adds Smalltalk-style messaging to C
PureScriptSmall strongly, statically typed language compiling to JavaScript
ClojureScriptCompiler for Clojure that targets JavaScript
VHDLHardware description language used in electronic design automation
JArray programming language based primarily on APL
LabVIEWDesigned to enable domain experts to build power systems quickly
PostScriptInterpreted, stack-based and Turing complete language
RakuMember of the Perl family of programming languages
Share this article

Share your Thoughts

This site uses Akismet to reduce spam. Learn how your comment data is processed.