[Haskell-cafe] Exploring Programming Language Theory

[Kim-Ee Yeoh]

I should add that IFPL has important chapters written by authors other than
Simon.

-- Kim-Ee



On Sun, Dec 9, 2012 at 5:58 AM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:

> 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/f71354b2/attachment.htm>