Programming with Miranda

Chris Clack, Colin Myers and Ellen Poon

August 29, 2011

(Files copied from <http://www0.cs.ucl.ac.uk/teaching/3C11/book/>.)

Contents

Preface
Introduction
1 Operators, Identifiers and Types
2 Functions

3 Lists

4 Curried and Higher Order Functions

5 Environments and Evaluation

6 User-defined Types

7 Abstract Types

8 Files and Interaction

9 Programming in the Large

A The Initial Miranda Environment

Solutions to Exercises

Bibliography