The text book for the course is Programming with Miranda by C. Clack, C. Myers and E. Poon, published by Prentice Hall.
| Contents, preface, introduction and first two chapters | |||
| Chapter 3 | |||
| Chapter 4 | |||
| Chapter 5 | |||
| Chapter 6 | |||
| Chapter 7 | |||
| Chapter 8 | |||
| Chapter 9 | |||
| Bibliography | |||
| Appendix A | |||
| Solutions to Exercises | |||
| Corrigenda. Note - this is essential reading. It lists a large number of printing errors in the book, together with their corrections! | HTML |