G.J.Michaelson, An Introduction to Functional Programming Through
Lambda Calculus, Addison-Wesley, ISBN 0-201-17812-5, 1988

Full text without index in PDF

Please note that this PDF is from a late draft of the Addison-Wesley edition, and so still contains some mistakes that were picked up at the proof stage.

Reissued with new Preface, Dover Publications,ISBN 978-0486478838, 2011

Preface to 2011 edition

Errata

G.J.Michaelson, Elementary Standard ML, UCL Press,
ISBN 1-85728-398-8, 1995

Full text without index in PDF