[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Combinators & Compilation
From article <387CZXC@cs.swarthmore.edu>, by email@example.com (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?