Course pages 2011–12
Foundations of Computer Science
Course notes (in PDF)
Exercises for practical questions (in PDF)
Sample ML programs
- introductory examples
- list examples
- sorting
- examples of datatypes
- dictionaries
- queues and search strategies
- functions as values
- polynomials
- lazy lists
- procedural programming
Useful reference material
- Obtaining and using ML on your own computer
- Full syntax of Standard ML
- predefined identifiers: the most important built-in types, functions, exceptions, etc.