School of Computer Science and Engineering, UNSW
	CRICOS Provider No. 00098G

Exercises

The following exercises are provided to help you get a feeling for the topics discussed in the lecture. In particular, I expect them to be helpful for preparing for the final exam.

• Imperative Programming in Haskell
• Semantics of IO (Plain I/O)
• Semantics of IO (IORefs and Concurrency)
• Lambda Calculus
• Type Inference

Site maintained by webmistress@cse.unsw.edu.au Please read the UNSW Copyright & Disclaimer Statement