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 Matthias Kilian
- RE: Graph reduction and lambda lifting johnsson
- RE: Graph reduction and lambda lifting Simon Peyton-Jones