Course pages 2018–19

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.