This note covers the following topics: Backus’ FP Systems, Mathematical Functions and First Steps in ML, Basic Datatypes and Lists in ML, Evaluation of Expressions and Recursive Functions, Local Declarations and Modules, Polymorphic Type Checking, Datatype Exception and Recursive Datatypes, Reasoning about Functional Programs, Domain Theory and Fixpoint Semantics, Imperative Programming.
Author(s): NA
208Pages
These notes are an introduction to the Standard ML programming language. Topics covered includes: Interacting with ML, Polymorphism and Overloading, Exceptions, Basic expressions, values, and types, Identfiers, bindings, and declarations, Modules System, Input and Output.
Author(s): Robert Harper
106Pages
This is aimed at students with some programming skills, but new to functional languages. It consists almost entirely of exercises and diversions, these are intended to be completed at a machine with at least some supervision.
Author(s): Andrew Cumming
NAPages
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
The goal of this tutorial is to end up with a complete user guide to the system, inclduing the libraries, the tools and the extensions, as well as a tutorial on how to write “real” applications, centered around the use of the module system and the compilation manager.
Author(s): Riccardo Pucella
249Pages
This note covers the following topics: Defining Functions, Input and Output, ML Data Structures, Encapsulation and the ML Module System, ML Standard Basis.
Author(s): Jeffrey D. Ullman
NAPages
This book is an introduction to programming with the Standard ML programming language.
Author(s): Robert Harper
297Pages
Advertisement
