RE: Graph reduction and lambda lifting

1999-12-07 Thread Simon Peyton-Jones

For a detailed description, try the book that David Lester
and I wrote: Implementing Functional Languages: a tutorial
The full text is at
http://research.microsoft.com/~simonpj/Papers/papers.html

| -Original Message-
| From: Matthias Kilian [mailto:[EMAIL PROTECTED]]
| Sent: 07 December 1999 12:41
| To: haskell
| Subject: Graph reduction and lambda lifting
| 
| 
| 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.
| 
| 
| 



Re: Graph reduction and lambda lifting

1999-12-07 Thread 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



Graph reduction and lambda lifting

1999-12-07 Thread 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.