[clean-list] Interpreter for Research Purposes

[TK]

Salutations!



What options are there for a pure language interpreter, suitable for testing
extensions and generalizations? ...basically an "eval" function performing
graph reduction on abstract program representation, implemented in a unified
fashion.


Some possibly interesting ones

Curry -- http://www.informatik.uni-kiel.de/~pakcs/cider/ -- in Curry
Epigram -- http://e-pig.org/ -- in Haskell
SAPL --
http://www.st.cs.ru.nl/papers/2007/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf--
Haskell version is mentioned
Esther -- included with Clean ( Clean 2.2\Libraries\Hilde )

What else?



Thank you in advance!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20080112/7d65f8ca/attachment.html