Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ames!mailrus!iuvax!jeschke
From: jeschke@iuvax.cs.indiana.edu (Eric Jeschke)
Newsgroups: comp.lang.scheme
Subject: Re: Intermediate Lambda Calculus --> Machine code
Summary: Functional programming implementation
Message-ID: <12502@iuvax.cs.indiana.edu>
Date: 8 Sep 88 17:48:37 GMT
References: <4742@saturn.ucsc.edu>
Reply-To: jeschke@iuvax.UUCP (Eric Jeschke)
Organization: Indiana University CSCI, Bloomington
Lines: 13


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

Eric
-- 
Eric
  jeschke@iuvax.cs.indiana.edu

Gimme shelter.