[Haskell-cafe] Exploring Programming Language Theory

Sebastien Zany sebastien at chaoticresearch.com
Mon Dec 10 02:23:54 CET 2012


Try http://lambda-the-ultimate.org/node/492


On Sat, Dec 8, 2012 at 2:41 PM, Danny Gratzer <danny.gratzer at gmail.com>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 <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
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121209/dbb9df0b/attachment.htm>


More information about the Haskell-Cafe mailing list