Re: Graph reduction and lambda lifting

[johnsson]

Matthias Kilian writes:
 > Where can I find papers on the topics "graph reduction", "lambda
 > lifting", "g-machine", "TIM", etc. in the web?

My old papers on the G-machine and lambda lifting is available at
www.cs.chalmers.se/~johnsson .

--Thomas