From: torbenm@diku.dk   
      
   Scott  writes:   
      
   > I am seeking reasonably canonical information on the compiler stages,   
   > perhaps repeatedly or recursively invoked, of a strict evaluation,   
   > statically typed functional language compiler.   
      
   I would suggest Andrew Appel's book "Compiling with Continuations".  It   
   gives a detailed overview of the design of (an early version of) the   
   Standard ML of New Jersey compiler.  It is a bit dated now (and probably   
   long out of print), but still very readable, and I haven't seen any   
   quite as comprehensive text that covers all the phases.  In any case,   
   Standard ML is the canonical statically typed, strict functional   
   language, so it is a very good place to start.   
      
   	Torben   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)