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

Re: Intermediate Lambda Calculus --> Machine code

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


Gimme shelter.