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