REFAL
Program-Transformation.Org: The Program Transformation Wiki
REcursive Functions Algorithmic Language, the first language used to
experimenting with SuperCompilation by ValentinTurchin.
See:
- REFAL/Supercompilation Community http://www.refal.net/index_e.htm
- REFAL 5 http://www.refal.net/english/doc/turchin/ref5_eng/html/index.html
- REFAL 6 http://gh218.keldysh.ru/refal6/