Re: [Haskell-cafe] Exploring Programming Language Theory

Try http://lambda-the-ultimate.org/node/492 On Sat, Dec 8, 2012 at 2:41 PM, Danny Gratzer wrote:

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 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

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe