This book gives a lucid and thorough account of the concepts and techniques used in modern functional programming languages. Standard ML is used for notation, but the examples can be easily adapted to other functional languages. The book is aimed at advanced undergraduate or graduate level students who are familiar with another high-level language and discrete mathematics. It will also be invaluable to professional programmers who wish to explore the new possibilities opened up by functional programming.