Text books

Teaching material

Staff of the Department of Computer Science have authored or co-authored a number of textbooks. Teaching material is available to accompany some of the most recent publications:

• Algebra of Programming
• Theory and Practice of Concurrency
• Discrete Mathematics by Example
• Thinking Functionally with Haskell
• Algorithm Design with Haskell
• The Fun of Programming
• Programming from Specifications
• Understanding Concurrent Systems