<

Books

G.J.Michaelson, An Introduction to Functional Programming Through Lambda Calculus, Addison-Wesley, ISBN 0-201-17812-5, 1988
Full text without index in Postscript

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

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