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

G.J.Michaelson, Elementary Standard ML, UCL Press, ISBN 1-85728-398-8, 1995
Full text without index in PDF