Introduction to ML

10/21/03


Click here to start


Table of Contents

Introduction to ML

History

Special Features

Interaction with ML

Sample Interactions

ML’s Basic Types

ML’s Composite Types

Math Background to Formal Representation of Types

Set

Binary Relation

Cartesian Product

Function

Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html

Download presentation source