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/ -- Main.MaD - 18 Sep 2001