Introduction to ML

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

Email: tanimoto@cs.washington.edu

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

Download presentation source