[Haskell-cafe] Exploring Programming Language Theory

[Kim-Ee Yeoh]

SPJ's IFPL is an excellent starting point to learn the innards of Haskell.
It allows a well-acculturated individual to grab the base of the trunk and
start climbing the branches, which means reading the research papers (SPJ's
website, mainly though not exclusively), all the way to the leaves (reading
GHC source).

> To summarize, books that go from compiling a high level language to
lambda calculus and/or the theory behind lambda calculus and similar?

Other than Haskell? There's a comprehensive bibliography on the reading
scheme website, which also has loads of links to theory you might be
interested in.

Gotta say though, reading is one thing, but you've got to check your
understanding from time to time. Barendregt's "bible" on LC has good
exercises.

-- Kim-Ee



On Sun, Dec 9, 2012 at 5:41 AM, 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/964a22e1/attachment.htm>