Graph reduction and lambda lifting

[Matthias Kilian]

Hi!

Where can I find papers on the topics "graph reduction", "lambda
lifting", "g-machine", "TIM", etc. in the web? The only paper I could find
at home was the paper on STG and something about Turner's combinator
reduction.

Kili

-- 
de: Signaturen erzeugen Krebs.          en: Signatures cause cancer.
es: Signaturas provocan cáncer.         latin: Cancerem signatura faciunt.
se: Signaturer förorsaka cancer.        fr: Les signatures provoquent le cancer.
ro: Signaturile produc cancer.          ru: Podpis'ki razvivaút rak.