Most functional (tromp - implementing Binary Lambda Calculus)

John Tromp is a very good expository writer, for a mathematician. You should read his evolving paper "" found at http://homepages.cwi.nl/~tromp/cl/cl.html Lots of ideas per square inch in that paper.