Sorry for the multiple posts, last time I try to write any decent length email from my phone... Anyways, and that was "a tutorial" not "an introduction". I am also reading his "The Implementation of Functional Programming Languages". But in any case, I'm liking these books a lot! It's super interesting and everything but a little out of date. Does anyone know of books that cover a similar subject matter but are more current? To summarize, books that go from compiling a high level language to lambda calculus and/or the theory behind lambda calculus and similar? Thank you so much! On Sat, Dec 8, 2012 at 4:32 PM, Danny Gratzer <danny.gratzer@gmail.com>wrote:
Hello, Sorry in advance for the soft question: Recently I have been studying more about how a lazy functional language is designed and compiled and have been reading Peyton-Jones's book "implementing functional languages: an introduction"
-- Danny Gratzer