<

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 PDF

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