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

Intermediate Lambda Calculus --> Machine code

I am looking for articles, books etc that describes various ways
of compiling intermediate lambda calculus (eg, produced by a 
compiler for a functional language or a denotational description
of any programming language) to real machine code. The work that
I've seen usually employs some abstract machine (SECD, G, CAM etc)
or relies on a selected set of combinators (Wand, Sethi).

Email please. Thanks.

   Y F = F(Y F)                    ! Kjell Post, Dept of Comp & Info Sciences
"This superamazing, clever thing"  ! University of California, Santa Cruz
		-- G.J.Sussman     ! Email: kjell@saturn.ucsc.edu