[Haskell-cafe] Exploring Programming Language Theory

[Danny Gratzer]

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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121208/e8d154d7/attachment.htm>