Greg Michaelson1953BooksTrends in functional programmingAn introduction to functional programming through Lambda calculusAn introduction to functional programming through Lambda calculusElementary standard MLElementary Standard MLAuthor data: Open Library