Course pages 2014–15
Foundations of Computer Science
Course notes (in PDF)
See also the course pages for the ML Practical Classes.
Sample ML programs
- introductory examples
- list examples
- sorting
- examples of datatypes
- dictionaries
- functions as values
- lazy lists
- queues and search strategies
- polynomials
- procedural programming
Note: your computer may think that these are movie files! Right-clicking on the links above should allow you simply to save them as files. Then, you can open them using a text editor.
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.