|Graph Reduction Machine: code wanted firstname.lastname@example.org (1993-03-16)|
|From:||email@example.com (Pravin Baliga)|
|Organization:||Computing & Information Science, Queen's University|
|Date:||Tue, 16 Mar 1993 02:41:00 GMT|
As a part of a project, I need to implement an array theory based language
using graph reduction . I am thinking of translating the aforementioned
language to lambda calculus representation, and then having the lambda
calculus representation implemented on a graph reduction machine.
I would request you to point out ftp sites or any other source from where
I can get source code for implementing lambda calculus using graph
reduction, preferably in the 'C' language.
Thanks in advance,
Return to the
Search the comp.compilers archives again.