[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: scheme@mc.lcs.mit.edu*Subject*: Re: Intermediate Lambda Calculus --> Machine code*From*: uoregon!markv@beaver.cs.washington.edu (Mark VandeWettering)*Date*: Thu ,8 Sep 88 16:45:29 EDT*Organization*: University of Oregon, Computer Science, Eugene OR*References*: <4742@saturn.ucsc.edu>, <12502@iuvax.cs.indiana.edu>*Sender*: scheme-request@mc.lcs.mit.edu

In article <12502@iuvax.cs.indiana.edu> jeschke@iuvax.UUCP (Eric Jeschke) writes: > > "The Implementation of Functional Programming Languages" by Simon >Peyton-Jones is a good book for this. It basically describes the >state-of-the-art in sequential implementations: pattern matching, typing, >optimization and supercombinator generation. >There is a very thorough treatment of the lambda calculus spanning several >chapters. I highly recommend it. I was going to recommend this book as well. A MUST-HAVE for you shelf if you are at all interested in compiling declarative languages. More raw brainpower went into this book than you could find in 1000 hours at a library. It is well organized (in spite of several chapters being written by different authors) and very thorough. This book encouraged me to pursue a Master's thesis in the topic of parallel implementation of functional languages based upon the lambda calculus. mark vandewettering

**References**:**Intermediate Lambda Calculus --> Machine code***From:*pasteur!agate!saturn!venus.ucsc.edu!kjell@ames.arpa (Kjell Post)

**Re: Intermediate Lambda Calculus --> Machine code***From:*jeschke@iuvax.cs.indiana.edu (Eric Jeschke)

- Prev by Date:
**Re: Intermediate Lambda Calculus --> Machine code** - Next by Date:
**Lambda Calculus Books** - Previous by thread:
**Re: Intermediate Lambda Calculus --> Machine code** - Next by thread:
**Lambda Calculus Books** - Index(es):