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 <k...@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 <k...@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.grat...@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.grat...@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@haskell.org >>> http://www.haskell.org/mailman/listinfo/haskell-cafe >>> >>> >> > -- Danny Gratzer
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
