Foundations of Computer Science
2007–08

Principal lecturer: Prof Larry Paulson
Taken by: Part IA (50% option), Part IA (25% option), Part IA (Maths with Computer Science)
Syllabus
Past exam questions

Course notes

Exercises for practical questions

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

• Full syntax of Standard ML
• predefined identifiers: the most important built-in types, functions, exceptions, etc.