[Haskell-cafe] Exploring Programming Language Theory

[Danny Gratzer]

Yes sorry, I followed the link off of his website so I generalized a little.


On Sat, Dec 8, 2012 at 5:00 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:

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


-- 
Danny Gratzer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121208/5d2afa1d/attachment.htm>