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

Re: Combinators & Compilation

 From article <387CZXC@cs.swarthmore.edu>, by taylor@cs.swarthmore.edu (Brian Taylor):
> I'd also appreciate references to any particularly valuable articles in the
> literature providing a theoretical justification for the use of graph 
> reduction in the interpretation of combinatory logic and lambda calculus.

Indeed, is there any evidence that graph reduction will ever be as time/space
efficient as traditional compilation techniques for functional languages
on Von Neumann architectures?